Charlie is blue. Charlie is not green. Charlie is rough. Charlie is round. Charlie is young. Harry is blue. Harry is rough. All green, young people are red.
Harry is green.
@0: Charlie is blue.[(triple1)] Charlie is not green.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)]