Resolution is one kind of proof technique that works this way - (i) select two clauses that contain conflicting terms (ii) combine those two clauses and (iii) cancel out the conflicting terms.
But sometimes from the collection of the statements we have, we want to know the answer of this question - "Is it possible to prove some other statements from what we actually know?" In order to prove this we need to make some inferences and those other statements can be shown true using Refutation proof method i.e. proof by contradiction using Resolution. So for the asked goal we will negate the goal and will add it to the given statements to prove the contradiction.
Let's see an example to understand how Resolution and Refutation work. In below example, Part(I) represents the English meanings for the clauses, Part(II) represents the propositional logic statements for given english sentences, Part(III) represents the Conjunctive Normal Form (CNF) of Part(II) and Part(IV) shows some other statements we want to prove using Refutation proof method.
Part(I) : English Sentences
(1) If it is sunny and warm day you will enjoy.
(2) If it is warm and pleasant day you will do strawberry picking
(3) If it is raining then no strawberry picking.
(4) If it is raining you will get wet.
(5) It is warm day
(6) It is raining
(7) It is sunny
Part(II) : Propositional Statements
Part(III) : CNF of Part(II)
Part(IV) : Other statements we want to prove by Refutation
(Goal 1) You are not doing strawberry picking.
(Goal 2) You will enjoy.
(Goal 3) Try it yourself : You will get wet.
Goal 1 : You are not doing strawberry picking.
Goal 2 : You will enjoy.
Prove : enjoy