The rabbit is not big. The rabbit is not blue. The rabbit is nice. The rabbit is not red. The rabbit is round. If the rabbit is not big then the rabbit is nice.
The rabbit is nice.
@0: The rabbit is nice.[(triple3 OR ((triple1) -> rule1))] The rabbit is not big.[(triple1)] The rabbit is not blue.[(triple2)] The rabbit is not red.[(triple4)] The rabbit is round.[(triple5)]