Anne is quiet. Charlie is white. Erin is furry. Erin is red. Gary is blue. Gary is quiet. Gary is smart. If Gary is white and Gary is quiet then Gary is not blue. If something is not smart and not red then it is white.
Gary is blue.