The bald eagle eats the squirrel. The mouse sees the squirrel. The rabbit is kind. The squirrel sees the mouse. If something is big then it sees the squirrel. If something eats the rabbit and it is big then the rabbit chases the mouse. If something eats the squirrel then the squirrel is big. If something is cold and it sees the mouse then the mouse is rough. If the squirrel chases the rabbit and the squirrel is rough then the squirrel eats the rabbit. If something sees the squirrel and it sees the mouse then it eats the bald eagle. If the bald eagle sees the rabbit and the rabbit chases the squirrel then the rabbit eats the squirrel. If something eats the rabbit then it is big.
The squirrel eats the bald eagle.
@0: The bald eagle eats the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The rabbit is kind.[(triple3)] The squirrel sees the mouse.[(triple4)] @1: The squirrel is big.[(((triple1) -> rule3))] @2: The squirrel sees the squirrel.[(((((triple1) -> rule3)) -> rule1))] @3: The squirrel eats the bald eagle.[(((((((triple1) -> rule3)) -> rule1) triple4) -> rule6))]