The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. All blue, rough things are red.
The rabbit does not need the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is red.[(triple4 OR ((triple1 triple5) -> rule1))] The rabbit is rough.[(triple5)]