The cat chases the rabbit. The cat needs the cow. The cat needs the lion. The cat visits the rabbit. The cow is green. The lion is round. The lion needs the cat. The lion needs the cow. The rabbit chases the cat. The rabbit chases the lion. If something is green then it visits the lion. If the lion needs the cat and the cat needs the cow then the cow is green. If something chases the lion then the lion needs the cow. If something is round then it chases the cow. If something visits the rabbit then the rabbit visits the cow. If something needs the cow and the cow needs the lion then the cow is green.
The lion does not need the cow.
@0: The cat chases the rabbit.[(triple1)] The cat needs the cow.[(triple2)] The cat needs the lion.[(triple3)] The cat visits the rabbit.[(triple4)] The cow is green.[(triple5 OR ((triple7 triple2) -> rule2))] The lion is round.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the cow.[(triple8 OR ((triple10) -> rule3))] The rabbit chases the cat.[(triple9)] The rabbit chases the lion.[(triple10)] @1: The cow visits the lion.[(((triple5) -> rule1) OR ((((triple7 triple2) -> rule2)) -> rule1))] The lion chases the cow.[(((triple6) -> rule4))] The rabbit visits the cow.[(((triple4) -> rule5))]