The bald eagle chases the mouse. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the squirrel. The bear is nice. The bear likes the mouse. The bear visits the bald eagle. The bear visits the squirrel. The mouse chases the bald eagle. The mouse visits the bear. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel is kind. The squirrel is rough. The squirrel likes the mouse. The squirrel visits the mouse. If something likes the bear then it visits the bald eagle. If the bald eagle is nice then the bald eagle visits the bear. If something visits the bald eagle and the bald eagle visits the bear then it likes the bald eagle. If something likes the bald eagle and it chases the bald eagle then it visits the squirrel. If something visits the mouse then the mouse chases the bald eagle. If something visits the squirrel then the squirrel chases the mouse.
The bald eagle does not like the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear is nice.[(triple5)] The bear likes the mouse.[(triple6)] The bear visits the bald eagle.[(triple7)] The bear visits the squirrel.[(triple8)] The mouse chases the bald eagle.[(triple9 OR ((triple16) -> rule5))] The mouse visits the bear.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel chases the mouse.[(triple12 OR ((triple4) -> rule6) OR ((triple8) -> rule6))] The squirrel is kind.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule1))] The bear likes the bald eagle.[(((triple7 triple3) -> rule3))] @2: The bald eagle likes the bald eagle.[(((((triple2) -> rule1) triple3) -> rule3))]