The cow chases the mouse. The cow eats the dog. The cow is cold. The cow is nice. The cow is not young. The cow sees the mouse. The dog chases the cow. The dog eats the mouse. The dog is young. The dog sees the cow. The dog sees the mouse. The mouse chases the cow. The mouse chases the dog. The mouse is young. The mouse sees the dog. If something chases the dog then it eats the cow. If the dog eats the mouse and the dog is rough then the mouse does not chase the dog. If something is big then it is not cold. If something sees the cow and it does not eat the mouse then the cow sees the dog. If something eats the mouse then it sees the dog. If something is big then it is young.
The cow does not eat the cow.
@0: The cow chases the mouse.[(triple1)] The cow eats the dog.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is not young.[(triple5)] The cow sees the mouse.[(triple6)] The dog chases the cow.[(triple7)] The dog eats the mouse.[(triple8)] The dog is young.[(triple9)] The dog sees the cow.[(triple10)] The dog sees the mouse.[(triple11)] The mouse chases the cow.[(triple12)] The mouse chases the dog.[(triple13)] The mouse is young.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog sees the dog.[(((triple8) -> rule5))] The mouse eats the cow.[(((triple13) -> rule1))]