tools/check_tptp can print formulas in tptp