ToFoF is a script that converts TPTP TFF format problems to FOF using a TPTP2X transformation, and then runs the EP ATP system on the resultant FOF problem.