Question 1 (10 points): Purpose: To apply basic logical inference to a non-trivial example. The questions below will address the following first-order logic knowledge base (KB). Pail(x ) Fetch(Jack, z) . Vx (Zy Pail(y) ? Fetch(x, y)) : Vr Fallen()(Vy Needed() Fallen(x) -Carries(x,y)) Carries(Jack, Water) V Carries(Jill, Water) Needed(Water) (a) (5 points) Express the above formulae in conjunctive normal form (CNF) (b) (5 points) Give a resolution proof of the query Carries(Jill, Water) Use the CNF from the previous part