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