The rabbit is big. The rabbit is not blue. The rabbit is not cold. The rabbit is kind. The rabbit is rough. If the rabbit is big and the rabbit is not cold then the rabbit is kind. If the rabbit is rough then the rabbit is kind. Blue, big people are rough. All kind, blue people are not rough. Blue, cold people are big. All blue, cold people are not big. All blue, cold people are kind. Big people are kind.
The rabbit does not chase the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is kind.[(triple4 OR ((triple1) -> rule8) OR ((triple5) -> rule2) OR ((triple1 triple3) -> rule1))] The rabbit is not blue.[(triple2)] The rabbit is not cold.[(triple3)] The rabbit is rough.[(triple5)]