The rabbit is big. The rabbit is not blue. The rabbit is kind. The rabbit is not nice. The rabbit is not red. All blue people are kind. Nice people are not kind. Red, blue people are not kind. All nice people are big. All red, blue people are nice. All kind people are not blue.
The rabbit sees the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is kind.[(triple3)] The rabbit is not blue.[(triple2 OR ((triple3) -> rule6))] The rabbit is not nice.[(triple4)] The rabbit is not red.[(triple5)]