Anne is not smart. Bob is green. Bob is kind. Dave is furry. Dave is kind. Dave is rough. Harry is smart. If someone is nice and not smart then they are kind. If someone is not cold then they are nice. All cold, rough people are furry. If someone is smart and furry then they are not nice. If someone is smart then they are green. If someone is smart then they are nice. If someone is not nice then they are green. If Bob is furry and Bob is not kind then Bob is green.
Harry is cold.