" in the end - many more things must be checked still I feel". my concern is that this problem is not well suited to NDSolve except with deeper knowledge of method used and actual error. you asked about only use of Inverse and whether NDSolve would accept a symbolic inverse or would demand a real inverse.
tenenbaum, p. 562, series solutions to nonlinear ODE of order greater than one - this method requires that the usable convergence interval, I: |x-x0| < min(r, r/((n+2)M)) be found and respected