Anne is blue. Anne is not nice. Anne is quiet. Anne is round. Anne is white. Anne is young. Dave is blue. Dave is red. Dave is round. Erin is blue. Erin is round. Erin is white. All blue, nice people are young. Quiet people are round. All white, young people are round. All young people are quiet. Nice, young people are blue. If someone is white and not quiet then they are not red.
Dave is not blue.