The rabbit is blue. The rabbit is kind. The rabbit is rough. Blue people are green. Round people are green.
The rabbit is kind.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3)] @1: The rabbit is green.[(((triple1) -> rule1))]