The bald eagle is cold. The bald eagle is round. The bald eagle likes the bear. The bald eagle needs the bear. The bear chases the bald eagle. The bear is cold. The bear does not need the bald eagle. If something chases the bear and it does not like the bald eagle then the bald eagle likes the bear. If something likes the bear and the bear is big then the bear does not need the bald eagle. If something likes the bald eagle then the bald eagle is big. If something chases the bald eagle and it is cold then the bald eagle is round. If something likes the bald eagle and it is not red then the bald eagle does not need the bear. If something is big and it does not like the bear then the bear is rough.
The bear needs the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2 OR ((triple5 triple6) -> rule4))] The bald eagle likes the bear.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear does not need the bald eagle.[(triple7)] The bear is cold.[(triple6)]