TPTP Problem Domain: HWC
HWC001-1.p
HWC002-1.p
HWC003-1.p
HWC003-2.p
HWC004-1.p
HWC004-2.p