The cow chases the mouse. The cow is nice. The dog chases the cow. The dog chases the mouse. The dog is blue. The dog is young. The dog needs the mouse. The mouse does not chase the cow. The mouse is round. The mouse needs the dog. If the dog is nice then the dog visits the cow. If the cow visits the mouse then the cow is red. If someone is nice then they need the dog. If someone is red then they visit the dog. If the dog visits the cow and the dog does not need the cow then the cow chases the mouse. If the cow visits the mouse then the mouse does not need the dog. If the mouse does not need the dog and the dog does not visit the mouse then the mouse does not need the cow. If the dog visits the cow and the cow does not need the dog then the cow chases the dog.
The cow is nice.
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The dog chases the cow.[(triple3)] The dog chases the mouse.[(triple4)] The dog is blue.[(triple5)] The dog is young.[(triple6)] The dog needs the mouse.[(triple7)] The mouse does not chase the cow.[(triple8)] The mouse is round.[(triple9)] The mouse needs the dog.[(triple10)] @1: The cow needs the dog.[(((triple2) -> rule3))]