The cow chases the dog. The dog chases the cow. The dog needs the cow. If something visits the cow and it is nice then the cow is blue. If something is kind then it needs the cow. If something chases the cow then it chases the dog. If something needs the dog and it needs the cow then it visits the dog. If something needs the cow then the cow is kind. If something is nice and red then it visits the dog.
The cow is not nice.
@0: The cow chases the dog.[(triple1)] The dog chases the cow.[(triple2)] The dog needs the cow.[(triple3)] @1: The cow is kind.[(((triple3) -> rule5))] The dog chases the dog.[(((triple2) -> rule3))] @2: The cow needs the cow.[(((((triple3) -> rule5)) -> rule2))]