TPTP Problem Domain: PRO


PRO001+1.p PRO001+2.p PRO001+3.p PRO001+4.p PRO002+1.p PRO002+2.p PRO002+3.p
PRO002+4.p PRO003+1.p PRO003+2.p PRO003+3.p PRO003+4.p PRO004+1.p PRO004+2.p
PRO004+3.p PRO004+4.p PRO005+1.p PRO005+2.p PRO005+3.p PRO005+4.p PRO006+1.p
PRO006+2.p PRO006+3.p PRO006+4.p PRO007+1.p PRO007+2.p PRO007+3.p PRO007+4.p
PRO008+1.p PRO008+2.p PRO008+3.p PRO008+4.p PRO009+1.p PRO009+2.p PRO009+3.p
PRO009+4.p PRO010+1.p PRO010+2.p PRO010+3.p PRO010+4.p PRO011+1.p PRO011+2.p
PRO011+3.p PRO011+4.p PRO012+1.p PRO012+2.p PRO012+3.p PRO012+4.p PRO013+1.p
PRO013+2.p PRO013+3.p PRO013+4.p PRO014+1.p PRO014+2.p PRO014+3.p PRO014+4.p
PRO015+1.p PRO015+2.p PRO015+3.p PRO015+4.p PRO016+1.p PRO016+2.p PRO016+3.p
PRO016+4.p PRO017+1.p PRO017+2.p PRO017+3.p PRO017+4.p PRO018+1.p PRO018+2.p
PRO018+3.p PRO018+4.p PRO019^1.p PRO020^1.p PRO021^1.p PRO022^1.p PRO023^1.p
PRO024^1.p PRO025^1.p PRO026^1.p PRO027^1.p PRO028^1.p