The mouse visits the tiger. The squirrel chases the tiger. The tiger needs the mouse. If the mouse visits the tiger and the tiger needs the mouse then the mouse is young. If someone chases the tiger and the tiger visits the squirrel then the tiger visits the mouse.
The mouse is not young.
@0: The mouse visits the tiger.[(triple1)] The squirrel chases the tiger.[(triple2)] The tiger needs the mouse.[(triple3)] @1: The mouse is young.[(((triple1 triple3) -> rule1))]