The mouse is not kind. The tiger needs the mouse. If something needs the mouse then it visits the mouse.
The mouse does not need the mouse.
@0: The mouse is not kind.[(triple1)] The tiger needs the mouse.[(triple2)] @1: The tiger visits the mouse.[(((triple2) -> rule1))]