Perturbative methods for mostly monotonic probabilistic satisfiability problems