The rabbit is blue. All blue, rough things are kind. If something is green then it is rough. All round, rough things are blue. If the rabbit is rough then the rabbit is green. If the rabbit is blue then the rabbit is green. If the rabbit is blue then the rabbit is green.
The rabbit is not rough.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is green.[(((triple1) -> rule5) OR ((triple1) -> rule6))] @2: The rabbit is rough.[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] @3: The rabbit is kind.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule1) OR ((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule1))]