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