The cow chases the dog. The cow chases the mouse. The cow needs the tiger. The cow sees the dog. The dog is nice. The mouse does not chase the tiger. The tiger does not chase the mouse. The tiger is nice. The tiger needs the mouse. The tiger sees the mouse. If something needs the mouse then the mouse sees the tiger. If the dog is young then the dog does not need the tiger. If something chases the cow and it sees the tiger then it does not see the mouse.
The mouse needs the dog.
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow needs the tiger.[(triple3)] The cow sees the dog.[(triple4)] The dog is nice.[(triple5)] The mouse does not chase the tiger.[(triple6)] The tiger does not chase the mouse.[(triple7)] The tiger is nice.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The mouse sees the tiger.[(((triple9) -> rule1))]