The rabbit is cold. All cold things are green. All green things are round. If something is young and not green then it is round. If something is round and not cold then it is red. All young things are red. Round things are red.
The rabbit is not round.
@0: The rabbit is cold.[(triple1)] @1: The rabbit is green.[(((triple1) -> rule1))] @2: The rabbit is round.[(((((triple1) -> rule1)) -> rule2))] @3: The rabbit is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule6))]