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 is not nice.
@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))]