The rabbit is kind. If someone is young then they are not cold. If someone is kind and green then they are nice. If someone is kind then they are young.
The rabbit is not nice.
@0: The rabbit is kind.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule3))] @2: The rabbit is not cold.[(((((triple1) -> rule3)) -> rule1))]