The bald eagle is cold. If someone is cold then they are rough. If someone is blue then they are round. All rough people are blue.
The bald eagle is not rough.
@0: The bald eagle is cold.[(triple1)] @1: The bald eagle is rough.[(((triple1) -> rule1))] @2: The bald eagle is blue.[(((((triple1) -> rule1)) -> rule3))] @3: The bald eagle is round.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]