The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is not round. Kind things are blue. If something is kind then it is red. If something is kind and not blue then it is red.
The rabbit is kind.
@0: The rabbit is blue.[(triple1 OR ((triple3) -> rule1))] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is not round.[(triple5)] The rabbit is red.[(triple4 OR ((triple3) -> rule2))]