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 quiet.
@0: Charlie is not white.[(triple2)] Charlie is quiet.[(triple1)] Charlie is young.[(triple3)]