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 does not need the rabbit.
@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))]