The mouse likes the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. If the squirrel eats the mouse and the mouse likes the squirrel then the mouse chases the squirrel. If something is green then it chases the squirrel.
The squirrel is not nice.
@0: The mouse likes the squirrel.[(triple1)] The squirrel chases the mouse.[(triple2)] The squirrel eats the mouse.[(triple3)] @1: The mouse chases the squirrel.[(((triple3 triple1) -> rule1))]