The bald eagle chases the mouse. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the mouse. The lion sees the bald eagle. The mouse chases the lion. The mouse sees the lion. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel chases the mouse. The squirrel eats the bald eagle. The squirrel sees the mouse. If someone is big then they eat the mouse. If someone sees the lion then they are young. If someone is kind and they chase the lion then they see the mouse.
The squirrel does not chase the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The lion chases the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] The lion eats the mouse.[(triple4)] The lion sees the bald eagle.[(triple5)] The mouse chases the lion.[(triple6)] The mouse sees the lion.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The mouse is young.[(((triple7) -> rule2))]