Anne is kind. Dave is green. Erin is green. Harry is quiet. All green, quiet people are young. If someone is not green and not cold then they are young. If Erin is quiet then Erin is not young. All young people are nice. If Erin is not green then Erin is quiet. If someone is young then they are smart.
Dave is not cold.