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