The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is young. If something is green then it is rough.
The rabbit does not visit the rabbit.
@0: The rabbit is green.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4 OR ((triple1) -> rule1))] The rabbit is young.[(triple5)]