The bald eagle chases the bear. The bald eagle is big. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle needs the bear. The bald eagle visits the bear. The bear chases the bald eagle. The bear is big. The bear is red. The bear is rough. The bear is round. The bear is young. The bear needs the bald eagle. The bear visits the bald eagle. If the bald eagle visits the bear then the bear visits the bald eagle. If something chases the bald eagle then the bald eagle chases the bear.
The bear is red.
@0: The bald eagle chases the bear.[(triple1 OR ((triple9) -> rule2))] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the bear.[(triple7)] The bald eagle visits the bear.[(triple8)] The bear chases the bald eagle.[(triple9)] The bear is big.[(triple10)] The bear is red.[(triple11)] The bear is rough.[(triple12)] The bear is round.[(triple13)] The bear is young.[(triple14)] The bear needs the bald eagle.[(triple15)] The bear visits the bald eagle.[(triple16 OR ((triple8) -> rule1))]