The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is not blue. The bald eagle is not rough. The bald eagle sees the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is nice. The bear is not rough. The bear is round. The bear does not see the bald eagle. If the bear chases the bald eagle and the bear sees the bald eagle then the bald eagle does not eat the bear. If someone sees the bald eagle and they are blue then the bald eagle does not eat the bear. If the bear chases the bald eagle then the bald eagle is round. If someone is big then they eat the bald eagle. If someone is big and they see the bald eagle then the bald eagle sees the bear. If someone sees the bear and they are blue then they see the bald eagle.
The bear sees the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear does not see the bald eagle.[(triple12)] The bear eats the bald eagle.[(triple7 OR ((triple8) -> rule4))] The bear is big.[(triple8)] The bear is nice.[(triple9)] The bear is not rough.[(triple10)] The bear is round.[(triple11)] @1: The bald eagle is round.[(((triple6) -> rule3))]