The bald eagle eats the lion. The bald eagle is nice. The lion does not eat the bald eagle. The lion is blue. The lion is red. The lion likes the bald eagle. The lion does not like the tiger. The tiger is big. The tiger is kind. The tiger is not red. The tiger likes the bald eagle. The tiger needs the lion. If something likes the lion then it likes the bald eagle. If the tiger likes the lion and the lion likes the bald eagle then the bald eagle needs the tiger. If something eats the tiger then it eats the bald eagle. If the tiger likes the lion then the tiger eats the bald eagle. If something needs the lion then it likes the tiger. If something likes the tiger then it eats the tiger.
The bald eagle needs the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is nice.[(triple2)] The lion does not eat the bald eagle.[(triple3)] The lion does not like the tiger.[(triple7)] The lion is blue.[(triple4)] The lion is red.[(triple5)] The lion likes the bald eagle.[(triple6)] The tiger is big.[(triple8)] The tiger is kind.[(triple9)] The tiger is not red.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger needs the lion.[(triple12)] @1: The tiger likes the tiger.[(((triple12) -> rule5))] @2: The tiger eats the tiger.[(((((triple12) -> rule5)) -> rule6))] @3: The tiger eats the bald eagle.[(((((((triple12) -> rule5)) -> rule6)) -> rule3))]