The bald eagle is round. The bald eagle needs the squirrel. The bald eagle sees the mouse. The bear chases the mouse. The bear chases the squirrel. The bear is nice. The bear is red. The mouse chases the bald eagle. The mouse chases the bear. The mouse chases the squirrel. The mouse is cold. The mouse is green. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel sees the bald eagle. If something sees the squirrel then the squirrel sees the mouse.
The bald eagle is green.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bear chases the mouse.[(triple4)] The bear chases the squirrel.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse needs the squirrel.[(triple13)] The mouse sees the squirrel.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The squirrel sees the mouse.[(((triple14) -> rule1))]