The bald eagle is red. Big, round people are not red. If someone is round and cold then they are blue. All cold, red people are blue. If the bald eagle is blue then the bald eagle is cold. All red people are big. If someone is big then they are cold.
The bald eagle is not big.
@0: The bald eagle is red.[(triple1)] @1: The bald eagle is big.[(((triple1) -> rule5))] @2: The bald eagle is cold.[(((((triple1) -> rule5)) -> rule6))] @3: The bald eagle is blue.[(((((((triple1) -> rule5)) -> rule6) triple1) -> rule3))]