The rabbit is young. All round people are kind. All kind people are not green. If someone is young then they are round.
The rabbit is not kind.
@0: The rabbit is young.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule3))] @2: The rabbit is kind.[(((((triple1) -> rule3)) -> rule1))] @3: The rabbit is not green.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]