Anne is nice. Dave is smart. Green things are kind. All nice things are green. If Anne is white and Anne is nice then Anne is kind. Nice, quiet things are white. If Anne is green then Anne is quiet. All blue things are quiet. If Dave is not quiet then Dave is not green. If something is blue and not green then it is white.
Anne is not nice.