The bald eagle likes the bear. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The bald eagle sees the bear. The bald eagle sees the squirrel. The bear is green. The bear likes the bald eagle. The bear needs the bald eagle. The bear needs the squirrel. The bear sees the bald eagle. The bear sees the squirrel. The squirrel is nice. The squirrel likes the bear. The squirrel sees the bald eagle. The squirrel sees the bear. If someone sees the bear then they like the bald eagle. If someone is big then they need the squirrel. If someone sees the bear and they like the bald eagle then the bear likes the squirrel.
The bear is cold.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bear is green.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear needs the bald eagle.[(triple8)] The bear needs the squirrel.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear sees the squirrel.[(triple11)] The squirrel is nice.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple4) -> rule1))] The squirrel likes the bald eagle.[(((triple15) -> rule1))] @2: The bear likes the squirrel.[(((triple15 ((triple15) -> rule1)) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3))]