The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is red. The bald eagle is round. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is kind. The mouse is red. The mouse is round. The mouse is young. The mouse visits the bald eagle. The mouse visits the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is young. If something eats the bald eagle then the bald eagle chases the squirrel. If something is red then it visits the bald eagle. If something visits the mouse then the mouse chases the squirrel.
The bald eagle is blue.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10)] The mouse visits the bald eagle.[(triple11 OR ((triple8) -> rule2))] The mouse visits the squirrel.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel eats the bald eagle.[(triple14)] The squirrel eats the mouse.[(triple15)] The squirrel is young.[(triple16)] @1: The bald eagle chases the squirrel.[(((triple14) -> rule1) OR ((triple6) -> rule1))] The bald eagle visits the bald eagle.[(((triple3) -> rule2))]