The cow sees the mouse. The dog eats the cow. The mouse chases the cow. If the cow sees the mouse then the cow chases the mouse. If something eats the dog then it sees the cow. If something eats the mouse and it chases the mouse then the mouse is kind. If the cow chases the mouse then the mouse eats the dog. If something chases the dog then it eats the dog. If something eats the mouse then the mouse is round.
The cow does not eat the dog.
@0: The cow sees the mouse.[(triple1)] The dog eats the cow.[(triple2)] The mouse chases the cow.[(triple3)] @1: The cow chases the mouse.[(((triple1) -> rule1))] @2: The mouse eats the dog.[(((((triple1) -> rule1)) -> rule4))] @3: The mouse sees the cow.[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]