The bald eagle eats the mouse. The bald eagle needs the mouse. The bald eagle needs the squirrel. The mouse eats the bald eagle. The mouse is big. The mouse is red. The mouse needs the bald eagle. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is kind. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. If someone needs the squirrel then they see the bald eagle. If someone is kind and they see the bald eagle then the bald eagle eats the squirrel. Big, kind people are rough. If someone is big then they need the squirrel. If someone sees the bald eagle then they are red. If someone eats the mouse then the mouse is red. If someone sees the mouse and the mouse sees the bald eagle then they eat the squirrel. If someone is nice then they see the squirrel.
The mouse sees the bald eagle.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6 OR ((triple1) -> rule6) OR ((triple9) -> rule6) OR ((((((triple5) -> rule4)) -> rule1)) -> rule5))] The mouse needs the bald eagle.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel needs the bald eagle.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel sees the bald eagle.[(triple14 OR ((((triple10) -> rule4)) -> rule1))] The squirrel sees the mouse.[(triple15)] @1: The bald eagle eats the squirrel.[(((triple11 triple14) -> rule2) OR ((triple11 ((((triple10) -> rule4)) -> rule1)) -> rule2))] The bald eagle sees the bald eagle.[(((triple3) -> rule1))] The mouse needs the squirrel.[(((triple5) -> rule4))] The squirrel is red.[(((triple14) -> rule5) OR ((((((triple10) -> rule4)) -> rule1)) -> rule5))] The squirrel is rough.[(((triple10 triple11) -> rule3))] The squirrel needs the squirrel.[(((triple10) -> rule4))] @2: The bald eagle is red.[(((((triple3) -> rule1)) -> rule5))] The mouse sees the bald eagle.[(((((triple5) -> rule4)) -> rule1))] @3: The squirrel eats the squirrel.[(((triple15 ((((triple5) -> rule4)) -> rule1)) -> rule7))]