The bald eagle is big. The bald eagle is cold. The bald eagle is green. Green, big people are nice. If someone is green then they are kind. If someone is big then they are kind. Kind people are cold. Kind, green people are big. Cold people are green.
The bald eagle eats the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple3) -> rule2) ((triple2) -> rule6)) -> rule5) OR ((((((triple2) -> rule6)) -> rule2) triple3) -> rule5) OR ((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule5))] The bald eagle is cold.[(triple2 OR ((((triple1) -> rule3)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] The bald eagle is green.[(triple3 OR ((triple2) -> rule6) OR ((((((triple1) -> rule3)) -> rule4)) -> rule6))] @1: The bald eagle is kind.[(((triple1) -> rule3) OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule2))] The bald eagle is nice.[(((triple3 triple1) -> rule1) OR ((((triple2) -> rule6) triple1) -> rule1) OR ((triple3 ((((triple3) -> rule2) triple3) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((triple3) -> rule2) triple3) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((triple3) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((((((triple2) -> rule6)) -> rule2) triple3) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6) triple1) -> rule1) OR ((triple3 ((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((((triple2) -> rule6)) -> rule2) triple3) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6) ((((triple3) -> rule2) triple3) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6) ((((triple3) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6) ((((((triple2) -> rule6)) -> rule2) triple3) -> rule5)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule6) ((((((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule5)) -> rule1))]