SO PROBLEM 2 AND 3 ARE RELATED, PLEASE HELP!

Problem 2.

Let the domain of the variables x, y, and w be the set {a,b,c}. Given the following premises, use resolution, universal generalization (Table 2 in section 1.6.7), and universal instantiation to prove x B(x).

1. A(x)B(y)2. C(x)G(w)3. G(x)4. A(x)1. A(x)B(y)2. C(x)G(w)3. G(x)4. A(x)

Problem 3.

Repeat problem 2, but prove w C(w)