Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is young. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is young. All young people are green.
Anne is not red.