The bald eagle does not chase the lion. The bald eagle is cold. The bald eagle is green. The bald eagle sees the mouse. The lion sees the squirrel. The mouse does not chase the bald eagle. The mouse is nice. The mouse is round. The mouse likes the squirrel. The mouse sees the bald eagle. The squirrel does not chase the mouse. The squirrel sees the lion. If the squirrel sees the mouse and the mouse likes the bald eagle then the squirrel is round. If something sees the lion then it is nice. If something chases the bald eagle and the bald eagle is big then it does not chase the mouse. If the mouse chases the bald eagle then the bald eagle sees the mouse. If the mouse does not chase the squirrel then the squirrel does not chase the lion. If the squirrel likes the bald eagle and the bald eagle is not big then the bald eagle likes the mouse.
The mouse is not round.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the mouse.[(triple4)] The lion sees the squirrel.[(triple5)] The mouse does not chase the bald eagle.[(triple6)] The mouse is nice.[(triple7)] The mouse is round.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse sees the bald eagle.[(triple10)] The squirrel does not chase the mouse.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The squirrel is nice.[(((triple12) -> rule2))]