Consider the following knowledge base, pre$-$translated into CNF$.1.$ Av$-$B $2.$ Cv$-$D $3.$ Dv$-$C $4.$ B Prove, via resolution, A$.($Write down the resolvent of each step$)$