The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is round. The bald eagle needs the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is cold. The bear is green. The bear is red. The bear is round. The bear needs the bald eagle. If something needs the bald eagle and the bald eagle is cold then the bald eagle chases the bear.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the bear.[(triple1 OR ((triple16 triple4) -> rule1))] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle needs 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 cold.[(triple12)] The bear is green.[(triple13)] The bear is red.[(triple14)] The bear is round.[(triple15)] The bear needs the bald eagle.[(triple16)]