The mouse is blue. The rabbit eats the mouse. The tiger needs the mouse. If someone needs the mouse then they need the tiger.
The tiger does not need the tiger.
@0: The mouse is blue.[(triple1)] The rabbit eats the mouse.[(triple2)] The tiger needs the mouse.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule1))]