The rabbit is blue. All blue things are kind. If the rabbit is green and the rabbit is cold then the rabbit is nice. If something is kind then it is nice. All blue, green things are cold. All cold, kind things are nice. Nice, blue things are green. All green things are nice. Cold things are green.
The rabbit visits the rabbit.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is kind.[(((triple1) -> rule1))] @2: The rabbit is nice.[(((((triple1) -> rule1)) -> rule3))] @3: The rabbit is green.[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule6))] @4: The rabbit is cold.[(((triple1 ((((((triple1) -> rule1)) -> rule3) triple1) -> rule6)) -> rule4))]