Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is not red. Charlie is white. If someone is nice and not white then they are not cold.
Charlie is not nice.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not red.[(triple6)] Charlie is quiet.[(triple5)] Charlie is white.[(triple7)]