The bald eagle is big. The bald eagle is cold. The bald eagle is kind. If someone is cold and round then they are big. All cold people are kind. If someone is green and round then they are big. If the bald eagle is green and the bald eagle is cold then the bald eagle is round. If the bald eagle is cold and the bald eagle is big then the bald eagle is green. If someone is green then they are kind. If someone is cold then they are green. If someone is round and green then they are big.
The bald eagle is kind.
@0: The bald eagle is big.[(triple1 OR ((triple2 ((((triple2) -> rule7) triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule7) triple2) -> rule4) ((triple2) -> rule7)) -> rule8))] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3 OR ((triple2) -> rule2) OR ((((triple2) -> rule7)) -> rule6) OR ((((triple2 triple1) -> rule5)) -> rule6))] @1: The bald eagle is green.[(((triple2) -> rule7) OR ((triple2 triple1) -> rule5))] @2: The bald eagle is round.[(((((triple2) -> rule7) triple2) -> rule4) OR ((((triple2 triple1) -> rule5) triple2) -> rule4))]