The cow chases the mouse. The cow is green. The cow is round. The cow sees the dog. The cow sees the lion. The dog eats the cow. The lion eats the dog. The mouse chases the lion. The mouse is kind. The mouse is round. If something eats the mouse then it chases the mouse. If something eats the dog then it eats the cow. Young, round things are red. If something chases the cow and the cow chases the mouse then it sees the mouse. If something is kind then it eats the mouse. If something sees the lion then the lion eats the cow.
The cow sees the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is green.[(triple2)] The cow is round.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the lion.[(triple5)] The dog eats the cow.[(triple6)] The lion eats the dog.[(triple7)] The mouse chases the lion.[(triple8)] The mouse is kind.[(triple9)] The mouse is round.[(triple10)] @1: The lion eats the cow.[(((triple5) -> rule6) OR ((triple7) -> rule2))] The mouse eats the mouse.[(((triple9) -> rule5))] @2: The mouse chases the mouse.[(((((triple9) -> rule5)) -> rule1))]