The bald eagle does not chase the bear. The bald eagle is big. The bald eagle is kind. The bald eagle is not nice. The bald eagle is rough. 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 big. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear likes the bald eagle. The bear needs the bald eagle. If someone needs the bald eagle and the bald eagle is big then the bald eagle is rough. If someone is nice then they chase the bald eagle. If someone likes the bear then the bear likes the bald eagle.
The bear is nice.
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not nice.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple16 triple2) -> rule1))] The bald eagle is round.[(triple6)] The bald eagle likes the bear.[(triple7)] The bald eagle needs the bear.[(triple8)] The bear chases the bald eagle.[(triple9 OR ((triple12) -> rule2))] The bear is big.[(triple10)] The bear is kind.[(triple11)] The bear is nice.[(triple12)] The bear is rough.[(triple13)] The bear is round.[(triple14)] The bear likes the bald eagle.[(triple15 OR ((triple7) -> rule3))] The bear needs the bald eagle.[(triple16)]