Let the domain of the variables x, y, and w be the set {a,b,c}. Given the following premises, use resolution, universal generalization, and universal instantiation to prove x B(x). 1. A(x)B(y)2. C(x)G(w)3. G(x)4. A(x)