Charlie is not big. Charlie is not cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Gary is not cold. Gary is not green. Gary is nice. Gary is round. Gary is white. All nice, quiet people are green. If Charlie is white then Charlie is nice. If Gary is big and Gary is not green then Gary is not quiet.
Charlie is not green.