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