Anne is blue. Anne is cold. Anne is kind. Anne is red. Anne is white. Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is smart. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is not smart. If something is blue and not kind then it is green. If something is kind then it is white. If Dave is white then Dave is red. If Anne is kind and Anne is white then Anne is cold. If something is not white then it is green. If something is not red then it is cold.
Dave is not green.