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 dog is big.
@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))]