The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is round. Blue people are nice. If someone is kind and not nice then they are not round. If someone is blue and not kind then they are round.
The rabbit is not blue.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple2) -> rule1))] The rabbit is round.[(triple5)]