The rabbit is nice. Nice people are kind. Nice, round people are not young. All kind people are round.
The rabbit is not young.
@0: The rabbit is nice.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule1))] @2: The rabbit is round.[(((((triple1) -> rule1)) -> rule3))] @3: The rabbit is not young.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]