Dave is not big. Dave is cold. Dave is furry. Dave is not kind. Dave is nice. Dave is rough. Dave is smart. If Dave is not furry then Dave is nice. If something is not smart then it is not big. If Dave is big and Dave is furry then Dave is not rough. Smart, kind things are cold. If Dave is rough and Dave is kind then Dave is not cold. If something is smart then it is cold. If something is not big and not nice then it is rough. If something is not cold then it is kind.
Dave is smart.