The bald eagle eats the tiger. The bald eagle is round. The bald eagle sees the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. Red things are young. If something visits the bald eagle and it sees the bald eagle then the bald eagle is young. If something visits the tiger then the tiger sees the bald eagle. If something eats the tiger and the tiger is young then it visits the bald eagle. If the bald eagle is young then the bald eagle visits the tiger. If something sees the bald eagle and it visits the bald eagle then it is red.
The bald eagle is big.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4 OR ((((triple7 triple6) -> rule2)) -> rule5))] The tiger eats the bald eagle.[(triple5)] The tiger sees the bald eagle.[(triple6 OR ((triple4) -> rule3))] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle is young.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple4) -> rule3)) -> rule2))] The tiger is red.[(((triple6 triple7) -> rule6) OR ((((triple4) -> rule3) triple7) -> rule6))] @2: The tiger is young.[(((((triple6 triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1))] @3: The bald eagle visits the bald eagle.[(((triple1 ((((triple6 triple7) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((((triple4) -> rule3) triple7) -> rule6)) -> rule1)) -> rule4))]