Anne is green. Anne is red. Bob is green. Dave is green. Gary is kind. Gary is quiet. Gary is smart. If something is blue then it is red. If something is not blue then it is not white. If something is white and quiet then it is smart. If Gary is red and Gary is white then Gary is not blue. All kind things are green. If something is not blue then it is smart. If Anne is kind and Anne is not red then Anne is quiet. If Dave is blue and Dave is not green then Dave is not kind.
Dave is not red.