The bald eagle eats the bear. The bald eagle eats the lion. The bald eagle likes the tiger. The bear eats the lion. The bear eats the tiger. The bear is big. The bear is not blue. The bear is kind. The bear does not like the lion. The bear needs the bald eagle. The lion eats the tiger. The lion is young. The lion likes the bear. The lion likes the tiger. The lion needs the bald eagle. The tiger eats the lion. If someone needs the tiger then they are not young. If someone is young then they like the bald eagle. If someone needs the lion then the lion likes the bear.
The tiger needs the tiger.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bear does not like the lion.[(triple9)] The bear eats the lion.[(triple4)] The bear eats the tiger.[(triple5)] The bear is big.[(triple6)] The bear is kind.[(triple8)] The bear is not blue.[(triple7)] The bear needs the bald eagle.[(triple10)] The lion eats the tiger.[(triple11)] The lion is young.[(triple12)] The lion likes the bear.[(triple13)] The lion likes the tiger.[(triple14)] The lion needs the bald eagle.[(triple15)] The tiger eats the lion.[(triple16)] @1: The lion likes the bald eagle.[(((triple12) -> rule2))]