Prove by resolution that the following set of clauses (in predicate calculus) is unsatisfiable. Assume that upper case arguments are constant, lower case arguments are variable: 1. G(B) 2. G(x) v H(x) 3. H(z) v I(z) 4. H(w) v J(w, D) 5. (B) v J(C, B) 6. I(q) v J(q, y) Prove by resolution that the following set of clauses (in predicate calculus) is unsatisfiable. Assume that upper case arguments are constant, lower case arguments are variable: 1. G(B) 2. G(x) v H(x) 3. H(z) v I(z) 4. H(w) v J(w, D) 5. (B) v J(C, B) 6. I(q) v J(q, y)