Anne is cold. Anne is not nice. Charlie is round. Charlie is smart. Charlie is white. Gary is red. Gary is smart. All smart people are furry. All nice people are cold. Furry people are red. If Charlie is not nice then Charlie is round. If someone is red then they are cold. If someone is not furry then they are not red.
Gary is nice.