Charlie is green. Charlie is not red. Dave is furry. Erin is furry. Erin is green. Erin is quiet. Harry is not green. Harry is kind. Harry is not quiet. Harry is not smart. If something is green and not smart then it is cold. If Erin is cold and Erin is not smart then Erin is kind.
Dave is kind.