The rabbit is blue. Green, round things are not blue. Blue things are green. If the rabbit is green then the rabbit is cold. If something is green and not blue then it is not cold. Round things are not red. If something is cold then it is not red. All round things are red. If the rabbit is cold then the rabbit is not red.
The rabbit is not cold.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is green.[(((triple1) -> rule2))] @2: The rabbit is cold.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit is not red.[(((((((triple1) -> rule2)) -> rule3)) -> rule6) OR ((((((triple1) -> rule2)) -> rule3)) -> rule8))]