The rabbit is blue. Blue things are kind. If the rabbit is blue and the rabbit is kind then the rabbit is nice.
The rabbit is not kind.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule1))] @2: The rabbit is nice.[(((triple1 ((triple1) -> rule1)) -> rule2))]