Anne is blue. Anne is red. Dave is blue. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is young. All red, round people are smart. Blue people are green.
Anne is not green.