The bald eagle is blue. The bald eagle is cold. The bald eagle is green. All cold, green things are blue. Cold, blue things are big. All blue, big things are green. If something is blue and rough then it is big. If something is green and rough then it is blue. Blue things are big. If something is rough and blue then it is big. If something is cold then it is rough.
The bald eagle sees the bald eagle.
@0: The bald eagle is blue.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple3 ((triple2) -> rule8)) -> rule5))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3 OR ((triple1 ((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple2 triple1) -> rule2)) -> rule3) OR ((triple1 ((triple1 ((triple2) -> rule8)) -> rule4)) -> rule3) OR ((triple1 ((((triple2) -> rule8) triple1) -> rule7)) -> rule3))] @1: The bald eagle is big.[(((triple1) -> rule6) OR ((triple2 triple1) -> rule2) OR ((((triple2 triple3) -> rule1)) -> rule6) OR ((triple1 ((triple2) -> rule8)) -> rule4) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((triple2) -> rule8) ((triple2 triple3) -> rule1)) -> rule7) OR ((((triple2 triple3) -> rule1) ((triple2) -> rule8)) -> rule4) OR ((((triple3 ((triple2) -> rule8)) -> rule5)) -> rule6) OR ((triple2 ((triple3 ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((triple2) -> rule8) ((triple3 ((triple2) -> rule8)) -> rule5)) -> rule7) OR ((((triple3 ((triple2) -> rule8)) -> rule5) ((triple2) -> rule8)) -> rule4))] The bald eagle is rough.[(((triple2) -> rule8))]