The lion sees the mouse. The mouse eats the squirrel. The squirrel needs the lion. If something sees the mouse then the mouse sees the squirrel. If something eats the lion and the lion is blue then the lion eats the squirrel.
The squirrel is nice.
@0: The lion sees the mouse.[(triple1)] The mouse eats the squirrel.[(triple2)] The squirrel needs the lion.[(triple3)] @1: The mouse sees the squirrel.[(((triple1) -> rule1))]