The rabbit is young. Nice things are green. All young things are nice. All nice, cold things are young.
The rabbit is young.
@0: The rabbit is young.[(triple1)] @1: The rabbit is nice.[(((triple1) -> rule2))] @2: The rabbit is green.[(((((triple1) -> rule2)) -> rule1))]