Anne is blue. Anne is cold. Anne is furry. Bob is young. Charlie is cold. Charlie is green. Dave is cold. Dave is furry. Dave is green. Dave is kind. If Charlie is young and Charlie is green then Charlie is cold. All blue people are cold. All green, young people are smart. If Dave is smart then Dave is furry. Smart, kind people are cold. If someone is smart then they are blue. All furry, green people are young. If Dave is green and Dave is young then Dave is cold.
Dave is smart.