Anne is furry. Charlie is cold. Charlie is kind. Dave is cold. Dave is smart. Dave is young. Harry is furry. All green, furry people are white. All kind, white people are smart. All cold, young people are white. Cold, green people are kind. Cold people are green. If someone is young and kind then they are smart. All white, cold people are smart. If someone is smart then they are cold.
Harry is not smart.