The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is round. All round, green people are kind.
The rabbit is not round.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple5 triple2) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)]