The bald eagle sees the mouse. The bear eats the bald eagle. The bear is red. The bear visits the squirrel. The mouse eats the bald eagle. The mouse eats the bear. The mouse eats the squirrel. The mouse sees the squirrel. The squirrel eats the bald eagle. The squirrel sees the bald eagle. If the squirrel is red then the squirrel sees the bald eagle. If someone is red then they visit the squirrel. If someone eats the bear then they are big. If someone is cold and they visit the squirrel then they eat the mouse. If someone sees the bald eagle then the bald eagle visits the mouse. If someone sees the bear then the bear eats the bald eagle. If someone sees the squirrel then they visit the bald eagle. If someone sees the squirrel and they are big then the squirrel eats the bear.
The mouse eats the bald eagle.
@0: The bald eagle sees the mouse.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear is red.[(triple3)] The bear visits the squirrel.[(triple4 OR ((triple3) -> rule2))] The mouse eats the bald eagle.[(triple5)] The mouse eats the bear.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel sees the bald eagle.[(triple10)] @1: The bald eagle visits the mouse.[(((triple10) -> rule5))] The mouse is big.[(((triple6) -> rule3))] The mouse visits the bald eagle.[(((triple8) -> rule7))] @2: The squirrel eats the bear.[(((triple8 ((triple6) -> rule3)) -> rule8))] @3: The squirrel is big.[(((((triple8 ((triple6) -> rule3)) -> rule8)) -> rule3))]