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