Launch TPTP-CNF.