The bear likes the squirrel. The cat sees the lion. The lion sees the squirrel. The squirrel sees the bear. If someone sees the squirrel then they chase the cat. If someone chases the cat then the cat sees the squirrel.
The squirrel sees the bear.
@0: The bear likes the squirrel.[(triple1)] The cat sees the lion.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel sees the bear.[(triple4)] @1: The lion chases the cat.[(((triple3) -> rule1))] @2: The cat sees the squirrel.[(((((triple3) -> rule1)) -> rule2))] @3: The cat chases the cat.[(((((((triple3) -> rule1)) -> rule2)) -> rule1))]