The bald eagle is big. The bald eagle is cold. The bald eagle is rough. Cold, rough things are round. All cold things are kind. Big things are kind. Big, round things are rough. Big, rough things are round. All kind things are round.
The bald eagle does not like the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4))] @1: The bald eagle is kind.[(((triple1) -> rule3) OR ((triple2) -> rule2))] The bald eagle is round.[(((triple1 triple3) -> rule5) OR ((triple2 triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple2) -> rule2)) -> rule6))]