The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle needs the tiger. The bald eagle sees the tiger. The bald eagle visits the tiger. The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If something is young then it is cold. If something sees the tiger and it needs the bald eagle then the bald eagle visits the tiger. If something visits the bald eagle then the bald eagle visits the tiger. If something sees the bald eagle then it sees the tiger. If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle is cold. If something visits the bald eagle and it sees the bald eagle then the bald eagle is nice. If something needs the bald eagle then the bald eagle sees the tiger. If something sees the tiger then it needs the tiger.
The tiger is not young.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple5) -> rule1) OR ((triple13 triple6) -> rule5) OR ((triple13 ((triple7) -> rule8)) -> rule5) OR ((triple13 ((((triple13) -> rule7)) -> rule8)) -> rule5))] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple15 triple14) -> rule6))] The bald eagle is young.[(triple5)] The bald eagle needs the tiger.[(triple6 OR ((triple7) -> rule8) OR ((((triple13) -> rule7)) -> rule8))] The bald eagle sees the tiger.[(triple7 OR ((triple13) -> rule7))] The bald eagle visits the tiger.[(triple8 OR ((triple15) -> rule3) OR ((((triple14) -> rule4) triple13) -> rule2))] The tiger is big.[(triple9)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The tiger sees the tiger.[(((triple14) -> rule4))] @2: The tiger needs the tiger.[(((((triple14) -> rule4)) -> rule8))]