Anne is not rough. Dave is furry. Fiona is kind. Harry is furry. All smart things are blue. All blue, smart things are not young. If Harry is smart and Harry is not rough then Harry is blue. If Dave is furry then Dave is smart. If something is blue then it is not big. If Dave is big and Dave is not young then Dave is furry. If something is big and furry then it is smart. If something is kind and not furry then it is big.
Dave is not smart.