The rabbit is blue. All young people are not cold. All nice, red people are cold. All blue people are nice. Blue people are not young. If someone is young then they are red. All nice people are red.
The rabbit is not red.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule3))] The rabbit is not young.[(((triple1) -> rule4))] @2: The rabbit is red.[(((((triple1) -> rule3)) -> rule6))] @3: The rabbit is cold.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2))]