The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle needs the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is young. The bear needs the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. If the bald eagle visits the bear then the bald eagle needs the bear. If something is kind and red then it visits the bear. If something needs the bald eagle then it sees the bald eagle.
The bear sees the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the bear.[(triple6 OR ((triple8) -> rule1) OR ((((triple3 triple4) -> rule2)) -> rule1))] The bald eagle sees the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple3 triple4) -> rule2))] The bear is big.[(triple9)] The bear is cold.[(triple10)] The bear is kind.[(triple11)] The bear is red.[(triple12)] The bear is young.[(triple13)] The bear needs the bald eagle.[(triple14)] The bear sees the bald eagle.[(triple15 OR ((triple14) -> rule3))] The bear visits the bald eagle.[(triple16)] @1: The bear visits the bear.[(((triple11 triple12) -> rule2))]