TPTP(Theorem Proving Tools