The cow sees the mouse. The lion sees the mouse. The mouse needs the tiger. The tiger visits the mouse. If someone visits the tiger and the tiger needs the cow then the tiger visits the lion. If someone needs the mouse and the mouse is round then the mouse is young. If someone sees the mouse and they see the cow then they need the mouse. If someone visits the mouse and they are big then they visit the lion. If someone sees the cow and they are nice then the cow is young. If someone sees the mouse then they see the cow.
The mouse does not visit the tiger.
@0: The cow sees the mouse.[(triple1)] The lion sees the mouse.[(triple2)] The mouse needs the tiger.[(triple3)] The tiger visits the mouse.[(triple4)] @1: The cow sees the cow.[(((triple1) -> rule6))] The lion sees the cow.[(((triple2) -> rule6))] @2: The cow needs the mouse.[(((triple1 ((triple1) -> rule6)) -> rule3))] The lion needs the mouse.[(((triple2 ((triple2) -> rule6)) -> rule3))]