Anne is blue. Anne is round. Anne is white. Dave is furry. Fiona is blue. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is round. Fiona is smart. Gary is round. Furry, kind things are white. Round things are blue. Blue things are kind. All white things are smart. All round, kind things are furry. If something is smart and not round then it is furry. If something is smart and not white then it is green. If Dave is not blue then Dave is green.
Gary is white.