The cow chases the dog. The cow chases the mouse. The cow is red. The cow needs the mouse. The dog chases the cow. The dog chases the mouse. The dog needs the cow. The dog sees the cow. The dog sees the mouse. The mouse chases the dog. The mouse needs the cow. The mouse needs the dog. If the dog needs the cow then the cow is round.
The mouse chases the mouse.
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow is red.[(triple3)] The cow needs the mouse.[(triple4)] The dog chases the cow.[(triple5)] The dog chases the mouse.[(triple6)] The dog needs the cow.[(triple7)] The dog sees the cow.[(triple8)] The dog sees the mouse.[(triple9)] The mouse chases the dog.[(triple10)] The mouse needs the cow.[(triple11)] The mouse needs the dog.[(triple12)] @1: The cow is round.[(((triple7) -> rule1))]