The rabbit is not green. The rabbit is kind. The rabbit is not rough. If something is green and rough then it is not nice. All rough things are nice. If something is nice then it is blue. If the rabbit is blue and the rabbit is green then the rabbit is rough. If the rabbit is green and the rabbit is blue then the rabbit is rough. If the rabbit is rough then the rabbit is nice.
The rabbit is not nice.
@0: The rabbit is kind.[(triple2)] The rabbit is not green.[(triple1)] The rabbit is not rough.[(triple3)]