The bald eagle is nice. The bald eagle does not like the bear. The bald eagle does not see the bear. The bear is nice. The bear is red. The bear is not round. The bear is young. The bear does not like the bald eagle. The bear sees the bald eagle. The bear does not visit the bald eagle. If the bald eagle is young and the bald eagle likes the bear then the bear visits the bald eagle. If someone is nice and red then they see the bald eagle. If the bear is nice and the bald eagle does not visit the bear then the bear is green. Nice people are red. If someone sees the bear then they are green. If someone visits the bear and they do not see the bear then the bear does not like the bald eagle.
The bear does not see the bear.
@0: The bald eagle does not like the bear.[(triple2)] The bald eagle does not see the bear.[(triple3)] The bald eagle is nice.[(triple1)] The bear does not like the bald eagle.[(triple8)] The bear does not visit the bald eagle.[(triple10)] The bear is nice.[(triple4)] The bear is not round.[(triple6)] The bear is red.[(triple5 OR ((triple4) -> rule4))] The bear is young.[(triple7)] The bear sees the bald eagle.[(triple9 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))] @1: The bald eagle is red.[(((triple1) -> rule4))] @2: The bald eagle sees the bald eagle.[(((triple1 ((triple1) -> rule4)) -> rule2))]