The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is not green. The bald eagle is kind. The bald eagle is nice. The bald eagle is 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 green. The bear is kind. The bear is not nice. The bear is rough. The bear sees the bald eagle. If something chases the bald eagle then the bald eagle chases the bear. If something sees the bear then it eats the bald eagle. If the bear chases the bald eagle and the bald eagle is nice then the bear is kind. If something is green then it sees the bald eagle. If something is rough and it chases the bald eagle then the bald eagle eats the bear. If something is green and it does not chase the bear then the bear does not eat the bald eagle.
The bald eagle eats the bear.
@0: The bald eagle chases the bear.[(triple1 OR ((triple9) -> rule1))] The bald eagle eats the bear.[(triple2 OR ((triple15 triple9) -> rule5))] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle is not green.[(triple4)] The bald eagle is rough.[(triple7)] The bald eagle sees the bear.[(triple8)] The bear chases the bald eagle.[(triple9)] The bear eats the bald eagle.[(triple10)] The bear is big.[(triple11)] The bear is green.[(triple12)] The bear is kind.[(triple13 OR ((triple9 triple6) -> rule3))] The bear is not nice.[(triple14)] The bear is rough.[(triple15)] The bear sees the bald eagle.[(triple16 OR ((triple12) -> rule4))] @1: The bald eagle eats the bald eagle.[(((triple8) -> rule2))]