Charlie is blue. Charlie is green. Charlie is rough. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Gary is rough. Gary is smart. Gary is white. Harry is smart. All green things are blue. If something is blue then it is rough. Smart things are green. All blue, rough things are quiet. Quiet, rough things are white.
Gary is not white.