The lion does not need the tiger. The mouse visits the tiger. The squirrel visits the mouse. The tiger eats the lion. If someone visits the mouse then they visit the lion. If someone visits the lion then the lion visits the mouse.
The squirrel needs the squirrel.
@0: The lion does not need the tiger.[(triple1)] The mouse visits the tiger.[(triple2)] The squirrel visits the mouse.[(triple3)] The tiger eats the lion.[(triple4)] @1: The squirrel visits the lion.[(((triple3) -> rule1))] @2: The lion visits the mouse.[(((((triple3) -> rule1)) -> rule2))] @3: The lion visits the lion.[(((((((triple3) -> rule1)) -> rule2)) -> rule1))]