Charlie is big. Charlie is blue. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is rough. Charlie is white. If something is rough and kind then it is white. If something is kind and not rough then it is not big.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple5)] Charlie is not kind.[(triple4)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)]