Anne is green. Anne is not white. Dave is blue. Dave is quiet. Gary is blue. Gary is quiet. Gary is not rough. Gary is white. Harry is cold. Harry is white. If something is kind and not cold then it is quiet. If something is cold then it is green. Kind things are not white. If Dave is quiet and Dave is blue then Dave is green. All rough things are quiet. Kind things are not quiet. If something is cold and not green then it is blue. If Harry is green and Harry is not blue then Harry is rough.
Anne is not blue.