The rabbit is young. If something is young and cold then it is blue. If the rabbit is young then the rabbit is blue. Blue things are cold. Cold, blue things are rough. If the rabbit is not rough then the rabbit is not green. Cold, blue things are green. If something is young and not blue then it is not green. If something is blue and not cold then it is green.
The rabbit is not blue.
@0: The rabbit is young.[(triple1)] @1: The rabbit is blue.[(((triple1) -> rule2))] @2: The rabbit is cold.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit is green.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule6))] The rabbit is rough.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule4))]