The cat eats the cow. The cat is big. The cat is green. The cat is nice. The cat is red. The cat is round. The cat needs the cow. The cat visits the cow. The cow eats the cat. The cow is big. The cow is nice. The cow is red. The cow is round. The cow needs the cat. The cow visits the cat. If something is round then it needs the cat.
The cow visits the cow.
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat needs the cow.[(triple7)] The cat visits the cow.[(triple8)] The cow eats the cat.[(triple9)] The cow is big.[(triple10)] The cow is nice.[(triple11)] The cow is red.[(triple12)] The cow is round.[(triple13)] The cow needs the cat.[(triple14 OR ((triple13) -> rule1))] The cow visits the cat.[(triple15)] @1: The cat needs the cat.[(((triple6) -> rule1))]