Wrote method to build markov network from CNF logic formulae.