The cow needs the dog. The dog likes the cow. The mouse eats the cow. If something eats the cow and it needs the dog then the cow needs the mouse. If something is kind and it needs the mouse then the mouse likes the dog. If something likes the mouse and it eats the mouse then the mouse needs the dog. If something likes the dog and the dog likes the mouse then the mouse likes the cow. If something eats the mouse and it is green then it is nice. If something needs the mouse and the mouse eats the cow then the mouse eats the dog. If something needs the dog then it is kind. If something is kind then it needs the mouse.
The cow needs the cow.
@0: The cow needs the dog.[(triple1)] The dog likes the cow.[(triple2)] The mouse eats the cow.[(triple3)] @1: The cow is kind.[(((triple1) -> rule7))] @2: The cow needs the mouse.[(((((triple1) -> rule7)) -> rule8))] @3: The mouse eats the dog.[(((((((triple1) -> rule7)) -> rule8) triple3) -> rule6))] The mouse likes the dog.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule8)) -> rule2))]