Charlie is green. Charlie is quiet. Gary is quiet. If someone is quiet and smart then they are green. Green, round people are blue.
Charlie is not blue.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Gary is quiet.[(triple3)]