Anne is not cold. Anne is not furry. Anne is not green. Anne is not kind. Anne is not quiet. Anne is not red. Anne is smart. Bob is cold. Bob is not furry. Bob is quiet. Bob is smart. Charlie is quiet. Charlie is not smart. Dave is green. Dave is kind. Dave is red. If something is red and not smart then it is not cold. If something is quiet and kind then it is furry.
Dave is not kind.