Erin is blue. Erin is red. Erin is rough. Erin is smart. Erin is not young. Gary is rough. Gary is young. If something is furry then it is not red. If something is not blue and not red then it is furry.
Gary is not red.