Is my resolution tree proof correct?

Top