1. Use resolution refutation on a set of clauses to prove that there is a green object if we are given: - If pushable objects are blue, then nonpushable ones are green. - All objects are either blue or green but not both. - If there is a nonpushable object, then all pushable ones are blue. - Object O1 is pushable. - Object O2 is not pushable. 1. Convert these statements to expressions in first-order predicate calculus. 2. Convert the preceding predicate-calculus expressions to clause form. 3. Combine the preceding clause form expressions with the clause form of the negation of the statement to be proved, and then show the steps used in obtaining a resolution