1. [10 pts.] Resolution is a technique for proving theorems in predicate calculus. Given the following rules and facts, prove that S(a)' is true with resolution refutation method. VX [ P(x) = Q(x)] Vy [ Q(y) 1 R(y) S(y)] P(a) R(a)