The cow needs the mouse. The dog does not need the tiger. The mouse needs the tiger. The tiger sees the cow. If something is green and it visits the dog then it needs the cow. If something sees the tiger and it needs the tiger then the tiger needs the dog. If something needs the mouse then the mouse visits the dog. If the cow visits the dog then the cow visits the tiger. If the tiger is big and the tiger is not green then the tiger sees the cow. If something is cold then it needs the tiger. If the dog is young and the dog sees the cow then the cow visits the mouse. If something visits the dog then it sees the tiger.
The mouse sees the tiger.
@0: The cow needs the mouse.[(triple1)] The dog does not need the tiger.[(triple2)] The mouse needs the tiger.[(triple3)] The tiger sees the cow.[(triple4)] @1: The mouse visits the dog.[(((triple1) -> rule3))] @2: The mouse sees the tiger.[(((((triple1) -> rule3)) -> rule8))] @3: The tiger needs the dog.[(((((((triple1) -> rule3)) -> rule8) triple3) -> rule2))]