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 is rough.
@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)]