The lion chases the squirrel. The mouse is kind. The rabbit chases the lion. The squirrel chases the lion. If someone chases the lion then they visit the squirrel. If someone chases the mouse then the mouse is green.
The mouse sees the lion.
@0: The lion chases the squirrel.[(triple1)] The mouse is kind.[(triple2)] The rabbit chases the lion.[(triple3)] The squirrel chases the lion.[(triple4)] @1: The rabbit visits the squirrel.[(((triple3) -> rule1))] The squirrel visits the squirrel.[(((triple4) -> rule1))]