The bald eagle is rough. The bald eagle needs the bear. The bald eagle sees the bear. The bear does not chase the bald eagle. The bear is not green. The bear is round. The bear needs the bald eagle. If someone sees the bear then they need the bald eagle. If someone chases the bear then they are not rough. If someone is green then they are not blue. If someone sees the bald eagle and they are rough then the bald eagle does not see the bear. If someone chases the bald eagle and they are red then the bald eagle does not see the bear. If someone sees the bear and the bear chases the bald eagle then the bald eagle sees the bear. If someone is rough and they need the bald eagle then the bald eagle is green. If someone is red then they see the bald eagle.
The bald eagle is green.
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear does not chase the bald eagle.[(triple4)] The bear is not green.[(triple5)] The bear is round.[(triple6)] The bear needs the bald eagle.[(triple7)] @1: The bald eagle needs the bald eagle.[(((triple3) -> rule1))] @2: The bald eagle is green.[(((triple1 ((triple3) -> rule1)) -> rule7))] @3: The bald eagle is not blue.[(((((triple1 ((triple3) -> rule1)) -> rule7)) -> rule3))]