Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Gary is blue. Gary is red. Gary is rough. Gary is round. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. If Gary is round then Gary is quiet. If someone is blue and green then they are white. All blue, quiet people are green.
Gary is not green.