The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is young. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is young. The tiger needs the bald eagle. The tiger sees the bald eagle. If someone eats the tiger then they see the tiger. If the tiger eats the bald eagle then the bald eagle is young. If someone is young and they see the bald eagle then they eat the tiger. If someone needs the tiger then the tiger is blue. If someone eats the tiger then they need the bald eagle. If someone needs the tiger and the tiger needs the bald eagle then the tiger is blue.
The tiger does not eat the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6 OR ((triple9) -> rule2))] The bald eagle needs the tiger.[(triple7)] The bald eagle sees the tiger.[(triple8 OR ((triple1) -> rule1))] The tiger eats the bald eagle.[(triple9)] The tiger is blue.[(triple10 OR ((triple7) -> rule4) OR ((triple7 triple15) -> rule6) OR ((triple7 ((((triple14 triple16) -> rule3)) -> rule5)) -> rule6))] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger needs the bald eagle.[(triple15 OR ((((triple14 triple16) -> rule3)) -> rule5))] The tiger sees the bald eagle.[(triple16)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule5))] The tiger eats the tiger.[(((triple14 triple16) -> rule3))] @2: The tiger sees the tiger.[(((((triple14 triple16) -> rule3)) -> rule1))]