The dog sees the squirrel. The dog visits the squirrel. The squirrel is rough. If someone is rough then they eat the dog.
The squirrel is blue.
@0: The dog sees the squirrel.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The squirrel eats the dog.[(((triple3) -> rule1))]