The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle sees the lion. The bald eagle sees the mouse. The lion chases the mouse. The mouse chases the lion. The mouse is round. The mouse likes the lion. The mouse likes the squirrel. The squirrel is blue. The squirrel likes the bald eagle. The squirrel sees the mouse. If something chases the lion then the lion sees the bald eagle. If something chases the lion and it is rough then it is round.
The squirrel sees the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the mouse.[(triple4)] The lion chases the mouse.[(triple5)] The mouse chases the lion.[(triple6)] The mouse is round.[(triple7)] The mouse likes the lion.[(triple8)] The mouse likes the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The lion sees the bald eagle.[(((triple6) -> rule1))]