Dave is furry. All green things are kind. All blue things are cold. If something is rough and not green then it is kind. If something is furry and not green then it is rough. If something is blue then it is kind. If something is rough and kind then it is furry. If something is furry and kind then it is not green. If something is smart and not furry then it is cold.
Dave is smart.