convert fol into cnf artificial intelligence