Parsing non-standard nested (un)ordered list HTML

ProseMirror uses the browser’s HTML parser to parse HTML into a DOM tree before converting it, so, since HTML5 specifies that that inner <ul> will get an implicit <li>, you’re out of luck here, and will have to use some external tool to clean up your HTML.