Anne is green. Anne is nice. Anne is white. Charlie is cold. Charlie is round. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is white. Round things are green. If Charlie is white then Charlie is smart. All smart things are blue. All nice things are smart. Cold, round things are green. If something is white and blue then it is round.
Gary is not blue.