Theory development with TPTP