The bald eagle chases the bear. The bald eagle does not eat the bear. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle does not see the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is not big. The bear is blue. The bear is cold. The bear is nice. The bear is rough. The bear sees the bald eagle. If something sees the bear then it eats the bald eagle. If something eats the bear then it eats the bald eagle. If something sees the bear then it chases the bear. If something is nice and it eats the bear then it chases the bear. If something eats the bald eagle then it is cold. If the bear is not nice then the bear does not see the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not eat the bear.[(triple2)] The bald eagle does not see the bear.[(triple8)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is cold.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle is rough.[(triple7)] The bear chases the bald eagle.[(triple9)] The bear eats the bald eagle.[(triple10)] The bear is blue.[(triple12)] The bear is cold.[(triple13 OR ((triple10) -> rule5))] The bear is nice.[(triple14)] The bear is not big.[(triple11)] The bear is rough.[(triple15)] The bear sees the bald eagle.[(triple16)]