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