Charlie is blue. Charlie is not quiet. Charlie is rough. All red things are not young. If Charlie is young and Charlie is not smart then Charlie is quiet.
Charlie is not red.
@0: Charlie is blue.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is rough.[(triple3)]