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