Anne is round. Anne is white. Gary is red. All white, green things are cold. If something is white and kind then it is furry. All kind, red things are cold. If Anne is kind and Anne is furry then Anne is round. If Anne is round then Anne is green. All green, red things are round.
Gary is not round.