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