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