Anne is furry. Charlie is green. Fiona is white. Gary is not white. Round things are smart. All round things are green. All green things are round. All round, cold things are white. If something is green then it is cold. If something is round and not green then it is furry. If something is smart and not white then it is not round. If something is young and not furry then it is not round.
Gary is not green.