The bald eagle sees the mouse. The bald eagle sees the squirrel. The mouse chases the bald eagle. The mouse is green. The mouse needs the bald eagle. The mouse does not need the squirrel. The mouse sees the bald eagle. The squirrel chases the mouse. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. Cold things are not young. If something needs the bald eagle then it is young. If the mouse sees the squirrel then the squirrel does not see the mouse. If something is young and green then it chases the bald eagle. If something is young then it chases the bald eagle. If the bald eagle is not green then the bald eagle needs the mouse. If something chases the bald eagle and it needs the mouse then the bald eagle needs the mouse. If something sees the mouse and the mouse sees the bald eagle then the mouse chases the squirrel.
The squirrel does not need the mouse.
@0: The bald eagle sees the mouse.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The mouse chases the bald eagle.[(triple3 OR ((((triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule2) triple4) -> rule4))] The mouse does not need the squirrel.[(triple6)] The mouse is green.[(triple4)] The mouse needs the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The mouse chases the squirrel.[(((triple1 triple7) -> rule8) OR ((triple12 triple7) -> rule8))] The mouse is young.[(((triple5) -> rule2))] The squirrel is young.[(((triple9) -> rule2))] @2: The squirrel chases the bald eagle.[(((((triple9) -> rule2)) -> rule5))] @3: The bald eagle needs the mouse.[(((((((triple9) -> rule2)) -> rule5) triple10) -> rule7))]