Charlie is not blue. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is young. Dave is blue. Dave is young. If something is round then it is green. If something is red then it is blue.
Charlie is round.
@0: Charlie is green.[(triple2)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Dave is blue.[(triple6)] Dave is young.[(triple7)]