The bear sees the mouse. The cat likes the squirrel. The mouse visits the squirrel. The squirrel sees the cat. If someone visits the squirrel then they see the mouse. If someone is green and they see the mouse then they see the bear.
The cat does not see the mouse.
@0: The bear sees the mouse.[(triple1)] The cat likes the squirrel.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel sees the cat.[(triple4)] @1: The mouse sees the mouse.[(((triple3) -> rule1))]