The bald eagle is not green. The bald eagle is kind. The bald eagle is red. The bald eagle does not like the bear. The bald eagle needs the bear. The bald eagle sees the bear. The bear is not blue. The bear is green. The bear is red. The bear likes the bald eagle. The bear does not need the bald eagle. The bear sees the bald eagle. If the bald eagle does not see the bear then the bear is blue. Kind people are red. If someone is blue then they like the bald eagle. If the bear is not cold and the bear does not need the bald eagle then the bear sees the bald eagle. If the bear sees the bald eagle then the bald eagle is blue. If someone is blue and they need the bald eagle then they are green. If someone sees the bald eagle and they need the bald eagle then they like the bear. If the bear does not see the bald eagle and the bear is not red then the bald eagle likes the bear.
The bald eagle sees the bald eagle.
@0: The bald eagle does not like the bear.[(triple4)] The bald eagle is kind.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle is red.[(triple3 OR ((triple2) -> rule2))] The bald eagle needs the bear.[(triple5)] The bald eagle sees the bear.[(triple6)] The bear does not need the bald eagle.[(triple11)] The bear is green.[(triple8)] The bear is not blue.[(triple7)] The bear is red.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear sees the bald eagle.[(triple12)] @1: The bald eagle is blue.[(((triple12) -> rule5))] @2: The bald eagle likes the bald eagle.[(((((triple12) -> rule5)) -> rule3))]