Why does DFS solve Robbin's theorem?

I have read the proof of Robbin's Theorem, but I do not see why the DFS will always give a correct orientation of the edges directed to solve the problem.