The bald eagle chases the squirrel. The bald eagle needs the squirrel. The mouse chases the squirrel. The mouse needs the bald eagle. The mouse sees the squirrel. The squirrel is blue. The squirrel sees the bald eagle. If someone chases the squirrel then they chase the bald eagle. If someone needs the bald eagle then they need the squirrel. If someone is young and blue then they need the squirrel. If someone is blue and round then they need the squirrel. If someone is cold and they chase the squirrel then they need the mouse. If someone is young then they need the bald eagle. If someone needs the bald eagle and they chase the squirrel then the bald eagle chases the squirrel. If someone is round then they need the mouse.
The bald eagle needs the squirrel.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple4 triple3) -> rule7))] The bald eagle needs the squirrel.[(triple2)] The mouse chases the squirrel.[(triple3)] The mouse needs the bald eagle.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel is blue.[(triple6)] The squirrel sees the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule1) OR ((((triple4 triple3) -> rule7)) -> rule1))] The mouse chases the bald eagle.[(((triple3) -> rule1))] The mouse needs the squirrel.[(((triple4) -> rule2))]