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