The bald eagle is cold. The bald eagle is not green. The bear is not round. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse is green. The mouse is young. The mouse sees the bear. The squirrel chases the mouse. The squirrel needs the mouse. If something is young then it does not see the bald eagle. If something needs the squirrel then the squirrel chases the bear. If something chases the bald eagle then the bald eagle is not young. If the bald eagle chases the bear and the bald eagle is not young then the bear does not see the bald eagle. If something needs the mouse then it sees the squirrel. If something needs the mouse then the mouse does not see the squirrel. If something is green and it does not see the bald eagle then the bald eagle needs the mouse. If something needs the mouse and it is not cold then the mouse is green.
The bald eagle sees the bear.
@0: The bald eagle is cold.[(triple1)] The bald eagle is not green.[(triple2)] The bear is not round.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is green.[(triple6)] The mouse is young.[(triple7)] The mouse sees the bear.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The bald eagle is not young.[(((triple4) -> rule3))] The mouse does not see the bald eagle.[(((triple7) -> rule1))] The mouse does not see the squirrel.[(((triple10) -> rule6) OR ((((triple6 ((triple7) -> rule1)) -> rule7)) -> rule6))] The squirrel sees the squirrel.[(((triple10) -> rule5))] @2: The bald eagle needs the mouse.[(((triple6 ((triple7) -> rule1)) -> rule7))] @3: The bald eagle sees the squirrel.[(((((triple6 ((triple7) -> rule1)) -> rule7)) -> rule5))]