The rabbit is blue. If the rabbit is cold then the rabbit is not green. If someone is green and young then they are cold. If the rabbit is cold then the rabbit is blue. Blue people are young. All green people are young. Young people are round.
The rabbit is not young.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule4))] @2: The rabbit is round.[(((((triple1) -> rule4)) -> rule6))]