The rabbit is nice. All green, nice things are kind. If something is nice then it is kind.
The rabbit does not need the rabbit.
@0: The rabbit is nice.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule2))]