The dog visits the squirrel. The lion visits the squirrel. The squirrel is rough. If the dog sees the lion then the dog eats the lion. If something visits the squirrel then it sees the lion. If something sees the lion and it is red then it sees the dog.
The lion sees the lion.
@0: The dog visits the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The dog sees the lion.[(((triple1) -> rule2))] The lion sees the lion.[(((triple2) -> rule2))] @2: The dog eats the lion.[(((((triple1) -> rule2)) -> rule1))]