Anne is furry. Anne is red. Anne is not smart. Anne is young. Dave is furry. Dave is red. Dave is young. Harry is furry. Harry is not rough. Harry is white. If something is smart then it is furry. If Harry is cold then Harry is not rough. All young, white things are cold. All young things are white. All red, young things are not rough. If something is not rough and not cold then it is smart.
Dave is not cold.