The rabbit is blue. The rabbit is kind. The rabbit is round. Round, rough people are green. If the rabbit is blue and the rabbit is kind then the rabbit is rough.
The rabbit is not round.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit is rough.[(((triple1 triple2) -> rule2))] @2: The rabbit is green.[(((triple3 ((triple1 triple2) -> rule2)) -> rule1))]