The bald eagle likes the tiger. The bald eagle needs the rabbit. The bald eagle needs the tiger. The lion is not red. The lion likes the bald eagle. The lion does not like the rabbit. The lion needs the bald eagle. The lion needs the rabbit. The rabbit is big. The rabbit is red. The rabbit likes the bald eagle. The rabbit does not like the lion. The tiger does not like the bald eagle. The tiger sees the bald eagle. The tiger does not see the lion. The tiger does not see the rabbit. If something is green then it likes the tiger. If something needs the tiger and the tiger is not blue then it needs the bald eagle. If something needs the tiger then the tiger is big. If something sees the tiger and the tiger sees the bald eagle then it is red. If something sees the bald eagle then the bald eagle likes the rabbit. If something is young and it likes the rabbit then the rabbit likes the bald eagle.
The lion needs the bald eagle.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle needs the tiger.[(triple3)] The lion does not like the rabbit.[(triple6)] The lion is not red.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion needs the bald eagle.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit does not like the lion.[(triple12)] The rabbit is big.[(triple9)] The rabbit is red.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The tiger does not like the bald eagle.[(triple13)] The tiger does not see the lion.[(triple15)] The tiger does not see the rabbit.[(triple16)] The tiger sees the bald eagle.[(triple14)] @1: The bald eagle likes the rabbit.[(((triple14) -> rule5))] The tiger is big.[(((triple3) -> rule3))]