The bear chases the mouse. The mouse needs the bear. If someone needs the mouse then they see the mouse. If someone needs the bear then the bear needs the mouse.
The bear needs the mouse.
@0: The bear chases the mouse.[(triple1)] The mouse needs the bear.[(triple2)] @1: The bear needs the mouse.[(((triple2) -> rule2))] @2: The bear sees the mouse.[(((((triple2) -> rule2)) -> rule1))]