Bob is blue. Bob is rough. Bob is young. Dave is cold. Dave is furry. Dave is kind. Erin is kind. Erin is rough. Erin is young. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is smart. Harry is young. All rough things are smart. Smart, kind things are cold. Furry things are rough. All rough things are blue. All cold, blue things are furry. If Harry is kind then Harry is cold. All young things are smart. If Bob is cold and Bob is furry then Bob is smart.
Dave is not blue.