Dave is round. Gary is nice. Gary is not red. Gary is round. Harry is nice. Harry is not rough. Harry is smart. If Dave is nice then Dave is quiet. If something is quiet and not blue then it is nice. If Gary is blue and Gary is nice then Gary is not rough. If Dave is blue then Dave is rough. If something is round and blue then it is quiet. All rough, blue things are not quiet. If Harry is rough and Harry is not red then Harry is smart. If Dave is not quiet then Dave is smart.
Harry is not smart.