The bald eagle eats the lion. The bald eagle is young. The bald eagle needs the bear. The bear is not kind. The bear is young. The bear needs the lion. The lion eats the bald eagle. The lion is not young. The lion likes the bear. The mouse eats the bald eagle. The mouse likes the bear. The mouse likes the lion. If someone likes the lion then the lion needs the bear. All round people are young.
The bald eagle likes the mouse.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear is not kind.[(triple4)] The bear is young.[(triple5)] The bear needs the lion.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is not young.[(triple8)] The lion likes the bear.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse likes the bear.[(triple11)] The mouse likes the lion.[(triple12)] @1: The lion needs the bear.[(((triple12) -> rule1))]