The bald eagle eats the tiger. The bald eagle is not cold. The bald eagle is not nice. The bald eagle is not rough. The bald eagle likes the tiger. The tiger eats the bald eagle. The tiger is not green. The tiger is nice. The tiger is rough. The tiger is young. The tiger does not like the bald eagle. The tiger needs the bald eagle. If something needs the bald eagle then it eats the bald eagle. If something likes the tiger then it eats the bald eagle. If something needs the tiger then it likes the bald eagle. If the tiger needs the bald eagle then the bald eagle needs the tiger. If something likes the tiger then it does not need the bald eagle. If the bald eagle likes the tiger and the bald eagle does not need the tiger then the tiger eats the bald eagle.
The tiger does not eat the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle likes the tiger.[(triple5)] The tiger does not like the bald eagle.[(triple11)] The tiger eats the bald eagle.[(triple6 OR ((triple12) -> rule1))] The tiger is nice.[(triple8)] The tiger is not green.[(triple7)] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle does not need the bald eagle.[(((triple5) -> rule5))] The bald eagle eats the bald eagle.[(((triple5) -> rule2))] The bald eagle needs the tiger.[(((triple12) -> rule4))] @2: The bald eagle likes the bald eagle.[(((((triple12) -> rule4)) -> rule3))]