The cow chases the squirrel. The cow eats the squirrel. The cow is kind. The cow sees the dog. The cow sees the squirrel. The dog sees the cow. The mouse is kind. The mouse is young. The mouse sees the cow. The squirrel eats the dog. If something is kind and young then it eats the dog. If something is kind then it chases the mouse. If the cow chases the mouse then the cow is cold. If the dog is kind then the dog eats the cow. If something chases the dog then the dog is blue. If something is cold then it eats the cow.
The cow does not eat the cow.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the squirrel.[(triple5)] The dog sees the cow.[(triple6)] The mouse is kind.[(triple7)] The mouse is young.[(triple8)] The mouse sees the cow.[(triple9)] The squirrel eats the dog.[(triple10)] @1: The cow chases the mouse.[(((triple3) -> rule2))] The mouse chases the mouse.[(((triple7) -> rule2))] The mouse eats the dog.[(((triple7 triple8) -> rule1))] @2: The cow is cold.[(((((triple3) -> rule2)) -> rule3))] @3: The cow eats the cow.[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]