Charlie is not blue. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is not smart. Gary is quiet. Gary is round. Gary is smart. If someone is nice and green then they are round. If Gary is green and Gary is not red then Gary is round. All red, quiet people are not round. If someone is not blue and not nice then they are not green. If someone is blue and not green then they are smart. If someone is not round then they are not green.
Gary is red.