Fol to cnf converter. . ...

Fol to cnf converter. .