The rabbit is green. All young, round people are cold. Green people are cold. All round people are nice. If someone is green and cold then they are nice. All round, cold people are young. If the rabbit is green and the rabbit is young then the rabbit is round.
The rabbit is not round.
@0: The rabbit is green.[(triple1)] @1: The rabbit is cold.[(((triple1) -> rule2))] @2: The rabbit is nice.[(((triple1 ((triple1) -> rule2)) -> rule4))]