TPTP Problem Domain: MED

`MED001+1.p`	`MED002+1.p`	`MED003+1.p`	`MED004+1.p`	`MED005+1.p`	`MED006+1.p`	`MED007+1.p`
`MED008+1.p`	`MED009+1.p`	`MED010+1.p`	`MED011+1.p`	`MED012+1.p`