The bald eagle chases the mouse. The bald eagle does not chase the squirrel. The bald eagle eats the squirrel. The bald eagle is kind. The bald eagle is not young. The mouse chases the bald eagle. The mouse does not eat the bald eagle. The mouse is not kind. The mouse is red. The mouse is rough. The mouse likes the squirrel. The squirrel does not chase the bald eagle. The squirrel chases the mouse. The squirrel does not eat the mouse. The squirrel is red. The squirrel likes the bald eagle. If the squirrel likes the mouse then the mouse is not young. If something eats the squirrel then the squirrel likes the bald eagle. If something eats the squirrel then it likes the bald eagle.
The bald eagle does not like the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle does not chase the squirrel.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not young.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse does not eat the bald eagle.[(triple7)] The mouse is not kind.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse likes the squirrel.[(triple11)] The squirrel chases the mouse.[(triple13)] The squirrel does not chase the bald eagle.[(triple12)] The squirrel does not eat the mouse.[(triple14)] The squirrel is red.[(triple15)] The squirrel likes the bald eagle.[(triple16 OR ((triple3) -> rule2))] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule3))]