The bald eagle eats the bear. The bald eagle is blue. The bald eagle is red. The bald eagle is not rough. The bald eagle is not young. The bald eagle likes the bear. The bald eagle does not see the bear. The bear eats the bald eagle. The bear is big. The bear is not blue. The bear is red. The bear is not rough. The bear is not young. The bear likes the bald eagle. The bear does not see the bald eagle. If someone sees the bald eagle and they eat the bald eagle then they are not big. If the bald eagle is young then the bald eagle is red. If someone sees the bald eagle and they eat the bald eagle then the bald eagle does not eat the bear. If someone is big then they are not young. If the bear eats the bald eagle and the bald eagle eats the bear then the bald eagle is blue. If the bear is blue then the bear is red. If someone eats the bear then the bear is red. If someone eats the bald eagle and they do not eat the bear then the bear is red.
The bald eagle is rough.
@0: The bald eagle does not see the bear.[(triple7)] The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple8 triple1) -> rule5))] The bald eagle is not rough.[(triple4)] The bald eagle is not young.[(triple5)] The bald eagle is red.[(triple3)] The bald eagle likes the bear.[(triple6)] The bear does not see the bald eagle.[(triple15)] The bear eats the bald eagle.[(triple8)] The bear is big.[(triple9)] The bear is not blue.[(triple10)] The bear is not rough.[(triple12)] The bear is not young.[(triple13 OR ((triple9) -> rule4))] The bear is red.[(triple11 OR ((triple1) -> rule7))] The bear likes the bald eagle.[(triple14)]