Anne is blue. Anne is not furry. Anne is green. Anne is quiet. Charlie is green. Charlie is quiet. Charlie is young. Dave is not smart. Harry is furry. Harry is green. Harry is nice. Harry is not quiet. All blue people are not nice. If someone is nice and young then they are blue. Young, nice people are blue. All blue, nice people are not young. Blue, young people are smart. If Charlie is young and Charlie is green then Charlie is blue. If someone is not nice then they are not furry. If Dave is green and Dave is not smart then Dave is young.
Dave is not green.