The cow needs the mouse. The dog visits the cow. The mouse chases the cow. If something needs the dog then it visits the mouse. If something chases the mouse and the mouse chases the cow then the mouse is kind. If something is young then it needs the dog. If something is nice and it chases the cow then it is green. If something visits the mouse then it chases the cow. If something chases the dog and the dog needs the cow then it is big. If something is green and big then it visits the dog. If something needs the mouse then it needs the cow.
The cow is not green.
@0: The cow needs the mouse.[(triple1)] The dog visits the cow.[(triple2)] The mouse chases the cow.[(triple3)] @1: The cow needs the cow.[(((triple1) -> rule8))]