The bald eagle needs the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is green. The bear is kind. The bear needs the bald eagle. The bear visits the bald eagle. All kind people are nice. If someone is green then they visit the bald eagle. If someone is kind and green then they visit the bear. If the bear is green then the bear visits the bald eagle. If someone sees the bald eagle and the bald eagle sees the bear then they are nice. If the bear needs the bald eagle and the bald eagle is nice then the bear is nice. If someone visits the bald eagle and they are round then they are nice. If someone visits the bear then they are nice.
The bear needs the bear.
@0: The bald eagle needs the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7 OR ((triple4) -> rule2) OR ((triple4) -> rule4))] @1: The bald eagle is nice.[(((triple3) -> rule8))] The bear is nice.[(((triple5) -> rule1) OR ((((triple5 triple4) -> rule3)) -> rule8) OR ((triple6 ((triple3) -> rule8)) -> rule6))] The bear visits the bear.[(((triple5 triple4) -> rule3))]