Charlie is quiet. Charlie is not white. Charlie is young. Smart people are blue. If Charlie is smart then Charlie is blue. Quiet, round people are white.
Charlie is not blue.
@0: Charlie is not white.[(triple2)] Charlie is quiet.[(triple1)] Charlie is young.[(triple3)]