Bob is cold. Bob is kind. Bob is quiet. Charlie is cold. Charlie is not furry. Charlie is nice. Charlie is quiet. Charlie is smart. Dave is quiet. Dave is smart. Erin is furry. Erin is kind. Erin is not nice. Erin is quiet. Erin is smart. Furry people are smart. If someone is nice and not cold then they are not smart. If Dave is not furry and Dave is not quiet then Dave is not smart. Cold people are nice. All red people are not nice. If Bob is nice and Bob is not smart then Bob is quiet.
Dave is not nice.