The bald eagle chases the squirrel. The mouse sees the squirrel. The squirrel eats the bald eagle. All big, rough things are kind. If something chases the mouse then it chases the bald eagle. If something is rough then it is big. All kind things are rough. If the mouse eats the squirrel and the squirrel chases the mouse then the mouse is kind. If something eats the bald eagle then it chases the mouse.
The squirrel eats the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel eats the bald eagle.[(triple3)] @1: The squirrel chases the mouse.[(((triple3) -> rule6))] @2: The squirrel chases the bald eagle.[(((((triple3) -> rule6)) -> rule2))]