The bald eagle eats the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger is kind. The tiger is round. The tiger visits the bald eagle. If something needs the tiger and it eats the bald eagle then the tiger is round. If the tiger visits the bald eagle then the tiger is blue. If something needs the bald eagle and the bald eagle is rough then the bald eagle needs the tiger. If something needs the bald eagle and it visits the bald eagle then it eats the tiger. If something eats the tiger and it is round then it is kind. If something is rough and big then it eats the bald eagle. If something visits the bald eagle then it eats the tiger. If something needs the tiger and it visits the bald eagle then the tiger is blue.
The tiger needs the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4 OR ((triple1 triple6) -> rule5))] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle visits the tiger.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is kind.[(triple10 OR ((((triple12) -> rule7) triple11) -> rule5) OR ((((triple12) -> rule7) ((triple7 ((triple5 triple2) -> rule6)) -> rule1)) -> rule5))] The tiger is round.[(triple11 OR ((triple7 ((triple5 triple2) -> rule6)) -> rule1))] The tiger visits the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5 triple2) -> rule6))] The tiger eats the tiger.[(((triple12) -> rule7))] The tiger is blue.[(((triple12) -> rule2))]