The bald eagle does not see the squirrel. The mouse does not chase the bald eagle. The mouse chases the squirrel. The mouse does not eat the bald eagle. The mouse is blue. The mouse does not see the bald eagle. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel is nice. The squirrel sees the mouse. If something sees the squirrel then the squirrel chases the bald eagle. If something chases the bald eagle then it does not chase the squirrel.
The squirrel chases the bald eagle.
@0: The bald eagle does not see the squirrel.[(triple1)] The mouse chases the squirrel.[(triple3)] The mouse does not chase the bald eagle.[(triple2)] The mouse does not eat the bald eagle.[(triple4)] The mouse does not see the bald eagle.[(triple6)] The mouse is blue.[(triple5)] The mouse sees the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel is nice.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The squirrel chases the bald eagle.[(((triple7) -> rule1))] @2: The squirrel does not chase the squirrel.[(((((triple7) -> rule1)) -> rule2))]