The bald eagle is big. The bald eagle is blue. The bald eagle is green. If someone is young then they are blue. If the bald eagle is big then the bald eagle is blue. Young, blue people are cold. If someone is cold then they are young. Blue, big people are cold. If someone is cold and big then they are blue. Young people are big. If someone is cold then they are young.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple1) -> rule2))] The bald eagle is green.[(triple3)] @1: The bald eagle is cold.[(((triple2 triple1) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5))] @2: The bald eagle is young.[(((((triple2 triple1) -> rule5)) -> rule4) OR ((((triple2 triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule5)) -> rule8))]