Anne is furry. Anne is red. Anne is smart. Charlie is blue. Charlie is cold. Charlie is smart. Gary is blue. Gary is young. Harry is cold. Harry is red. Harry is young. All smart, blue people are furry. If Gary is red and Gary is round then Gary is cold. All young people are red. All furry, smart people are round. All red people are smart. If someone is cold then they are round.
Gary is not red.