The bald eagle eats the lion. The bald eagle is big. The bald eagle is rough. The bald eagle is young. The bald eagle needs the bear. The bald eagle needs the lion. The bear chases the bald eagle. The bear is big. The bear is blue. The bear is rough. The bear needs the bald eagle. The lion eats the bald eagle. If something eats the bald eagle then the bald eagle needs the lion.
The bear is not rough.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the lion.[(triple6 OR ((triple12) -> rule1))] The bear chases the bald eagle.[(triple7)] The bear is big.[(triple8)] The bear is blue.[(triple9)] The bear is rough.[(triple10)] The bear needs the bald eagle.[(triple11)] The lion eats the bald eagle.[(triple12)]