Resolution when clauses contain more than 1 complementary literals
Clauses containing both a variable and its negation are not useful, since they're always correct. You can just ignore them.

Furthermore, you CNF is satisfiable - for example, you can set all variables to TRUE. So it's not completely clear what you are trying to accomplish.