The cow chases the dog. The cow eats the mouse. The cow needs the mouse. The dog is round. The mouse chases the cow. The mouse eats the cow. The mouse eats the dog. If someone is red then they chase the mouse. If someone needs the dog then the dog chases the mouse. If someone eats the cow and they chase the dog then they are blue. If someone needs the cow and they eat the dog then the dog chases the cow. If the cow chases the dog and the cow needs the mouse then the cow is young. If someone is nice then they chase the mouse. All round, blue people are nice. If someone chases the cow then the cow chases the mouse.
The dog is not blue.
@0: The cow chases the dog.[(triple1)] The cow eats the mouse.[(triple2)] The cow needs the mouse.[(triple3)] The dog is round.[(triple4)] The mouse chases the cow.[(triple5)] The mouse eats the cow.[(triple6)] The mouse eats the dog.[(triple7)] @1: The cow chases the mouse.[(((triple5) -> rule8))] The cow is young.[(((triple1 triple3) -> rule5))]