Anne is nice. Anne is red. Anne is smart. Dave is blue. Dave is kind. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Harry is kind. Harry is nice. Harry is red. If something is quiet then it is green. If Dave is blue and Dave is green then Dave is smart. Red things are quiet. All blue things are nice. If Erin is red and Erin is green then Erin is nice. If Dave is nice then Dave is red. If Erin is blue and Erin is quiet then Erin is red.
Dave is green.