Dave is big. Dave is blue. Dave is not green. Dave is red. Dave is round. Dave is smart. Erin is not blue. Erin is not green. Erin is not kind. Erin is red. Erin is round. Erin is not smart. If something is blue and not green then it is round.
Erin is green.