The bald eagle is cold. If someone is cold and not big then they are red. Green people are red. If someone is big then they are red. If someone is cold and red then they are young. All cold people are green. If someone is big then they are green. All big, cold people are not green. If someone is big then they are cold.
The bald eagle is red.
@0: The bald eagle is cold.[(triple1)] @1: The bald eagle is green.[(((triple1) -> rule5))] @2: The bald eagle is red.[(((((triple1) -> rule5)) -> rule2))] @3: The bald eagle is young.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4))]