Anne is blue. Anne is green. Anne is quiet. Anne is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is green. Dave is white. All quiet, white people are red. If someone is young then they are furry.
Dave is not red.