The bald eagle eats the tiger. The bald eagle does not like the lion. The lion is not cold. The lion is not kind. The lion is nice. The lion is round. The lion needs the bald eagle. The lion needs the tiger. The tiger eats the lion. The tiger is cold. The tiger is young. The tiger needs the bald eagle. If the tiger does not need the bald eagle and the bald eagle is not nice then the bald eagle is round. If the lion eats the tiger and the lion is young then the lion likes the tiger. If someone likes the bald eagle then the bald eagle needs the lion. If someone likes the bald eagle and the bald eagle likes the tiger then the bald eagle does not need the tiger. If someone needs the lion then they like the bald eagle. If someone eats the lion then they like the bald eagle. If someone eats the lion then they do not need the lion. If the lion is young and the lion is not cold then the lion is kind.
The bald eagle does not like the bald eagle.
@0: The bald eagle does not like the lion.[(triple2)] The bald eagle eats the tiger.[(triple1)] The lion is nice.[(triple5)] The lion is not cold.[(triple3)] The lion is not kind.[(triple4)] The lion is round.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion needs the tiger.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is cold.[(triple10)] The tiger is young.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The tiger does not need the lion.[(((triple9) -> rule7))] The tiger likes the bald eagle.[(((triple9) -> rule6))] @2: The bald eagle needs the lion.[(((((triple9) -> rule6)) -> rule3))] @3: The bald eagle likes the bald eagle.[(((((((triple9) -> rule6)) -> rule3)) -> rule5))]