The bald eagle chases the mouse. The bald eagle is kind. The bald eagle is young. The mouse chases the squirrel. The mouse eats the bald eagle. The mouse is young. The squirrel eats the bald eagle. The squirrel eats the mouse. The squirrel is big. The squirrel is cold. The squirrel sees the bald eagle. The squirrel sees the mouse. If the bald eagle chases the squirrel then the squirrel chases the mouse. If something chases the bald eagle and it eats the squirrel then the bald eagle sees the squirrel. If the mouse is kind and the mouse is cold then the mouse is big. If the bald eagle is cold and the bald eagle chases the mouse then the mouse chases the squirrel. If something eats the bald eagle then the bald eagle sees the squirrel. If something eats the mouse and the mouse chases the bald eagle then the mouse is nice. If the mouse is nice then the mouse sees the bald eagle. If something sees the mouse then the mouse chases the bald eagle.
The bald eagle sees the squirrel.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse is young.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The bald eagle sees the squirrel.[(((triple5) -> rule5) OR ((triple7) -> rule5))] The mouse chases the bald eagle.[(((triple12) -> rule8))] @2: The mouse is nice.[(((triple8 ((triple12) -> rule8)) -> rule6))] @3: The mouse sees the bald eagle.[(((((triple8 ((triple12) -> rule8)) -> rule6)) -> rule7))]