The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is young. Kind things are blue.
The rabbit is not green.
@0: The rabbit is blue.[(triple1 OR ((triple3) -> rule1))] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]