The bald eagle eats the bear. The bald eagle eats the lion. The bald eagle is rough. The bald eagle likes the lion. The bald eagle needs the bear. The bear eats the bald eagle. The bear eats the lion. The bear is blue. The bear is not kind. The bear is rough. The lion eats the bear. The lion is not green. The lion is nice. The lion likes the bald eagle. The lion needs the bald eagle. If someone eats the bald eagle and the bald eagle is rough then the bald eagle likes the bear. If the bald eagle is not nice then the bald eagle needs the bear.
The lion does not like the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the bear.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear eats the lion.[(triple7)] The bear is blue.[(triple8)] The bear is not kind.[(triple9)] The bear is rough.[(triple10)] The lion eats the bear.[(triple11)] The lion is nice.[(triple13)] The lion is not green.[(triple12)] The lion likes the bald eagle.[(triple14)] The lion needs the bald eagle.[(triple15)] @1: The bald eagle likes the bear.[(((triple6 triple3) -> rule1))]