The bald eagle eats the bear. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is not nice. The bald eagle needs the bear. The bald eagle sees the bear. The bear eats the bald eagle. The bear is cold. The bear is green. The bear is nice. The bear needs the bald eagle. All cold people are green. If the bear needs the bald eagle and the bald eagle is kind then the bear sees the bald eagle. If someone sees the bear and the bear does not see the bald eagle then the bear eats the bald eagle. If someone sees the bear then the bear is green. If someone eats the bald eagle and they do not eat the bear then they see the bear. If someone needs the bald eagle then they see the bear.
The bear is cold.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle needs the bear.[(triple6)] The bald eagle sees the bear.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear is cold.[(triple9)] The bear is green.[(triple10 OR ((triple7) -> rule4) OR ((triple9) -> rule1) OR ((((triple12) -> rule6)) -> rule4))] The bear is nice.[(triple11)] The bear needs the bald eagle.[(triple12)] @1: The bear sees the bald eagle.[(((triple12 triple4) -> rule2))] The bear sees the bear.[(((triple12) -> rule6))]