The bald eagle is cold. Nice people are red. Cold, green people are red. If someone is red and cold then they are big. Cold people are big. Nice people are cold. If the bald eagle is cold then the bald eagle is big.
The bald eagle is not green.
@0: The bald eagle is cold.[(triple1)] @1: The bald eagle is big.[(((triple1) -> rule4) OR ((triple1) -> rule6))]