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