The bald eagle is blue. The bald eagle sees the bear. The bald eagle visits the bear. The bear is rough. The bear sees the bald eagle. The bear sees the cow. The bear sees the squirrel. The bear visits the bald eagle. The cow is young. The cow visits the bald eagle. The squirrel is round. The squirrel is young. The squirrel likes the bear. The squirrel sees the bald eagle. The squirrel sees the bear. The squirrel sees the cow. If the bear likes the bald eagle then the bald eagle visits the cow. If something likes the bear then the bear is round. If something visits the cow then it visits the bear. If something is round and blue then it sees the squirrel. If something sees the cow and it is green then the cow sees the bald eagle. If something likes the cow then it is round.
The cow is round.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is rough.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the cow.[(triple6)] The bear sees the squirrel.[(triple7)] The bear visits the bald eagle.[(triple8)] The cow is young.[(triple9)] The cow visits the bald eagle.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The bear is round.[(((triple13) -> rule2))]