The mouse needs the tiger. The tiger chases the mouse. The tiger visits the mouse. If something is green then it needs the tiger. If something chases the mouse then it needs the tiger.
The mouse is big.
@0: The mouse needs the tiger.[(triple1)] The tiger chases the mouse.[(triple2)] The tiger visits the mouse.[(triple3)] @1: The tiger needs the tiger.[(((triple2) -> rule2))]