The dog sees the squirrel. The mouse likes the squirrel. The squirrel sees the mouse. If someone sees the squirrel then the squirrel likes the mouse.
The squirrel likes the mouse.
@0: The dog sees the squirrel.[(triple1)] The mouse likes the squirrel.[(triple2)] The squirrel sees the mouse.[(triple3)] @1: The squirrel likes the mouse.[(((triple1) -> rule1))]