Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is smart. If someone is cold and not kind then they are red. All smart people are round. If someone is round then they are red.
Gary is not red.