The dog chases the lion. The lion chases the squirrel. The squirrel eats the lion. The tiger is blue. If someone eats the lion then they see the dog. If someone chases the dog then they see the squirrel. If someone sees the dog and they eat the lion then the lion chases the dog.
The lion does not see the dog.
@0: The dog chases the lion.[(triple1)] The lion chases the squirrel.[(triple2)] The squirrel eats the lion.[(triple3)] The tiger is blue.[(triple4)] @1: The squirrel sees the dog.[(((triple3) -> rule1))] @2: The lion chases the dog.[(((((triple3) -> rule1) triple3) -> rule3))] @3: The lion sees the squirrel.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]