Proving a graph well founded using resolution by M.A. Bezem