Anne is green. Anne is quiet. Anne is round. Anne is not white. Dave is blue. Dave is not green. Dave is quiet. Dave is rough. Gary is green. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is not rough. Harry is smart. Harry is white. If Gary is quiet then Gary is rough. Round things are not blue. If something is smart and not white then it is quiet. All white things are green. If something is smart and not white then it is not quiet. If something is not white then it is quiet. If something is blue and not rough then it is green. If something is green and not rough then it is round.
Anne is not blue.