Question 3: A popular children's riddle is "Brothers and sisters have I none, but that man's father is my father's son." Here are some relevant logical expressions that can be used to figure out the answer to this riddle. x,ySiblings(x,y)Same(x,y)z Father (z,x) Father (z,y) "Siblings share a father." Father (MyFather, Me) "My father is my father." (xSibling(Me,x)) "Brothers and sisters have I none." x Father (x, Man ) Father ( MyFather,x) "That man's father is my father's son." a. Convert these expressions into conjunctive normal form. Number each clause, starting with 1. (8 points) b. Now use forward-chaining resolution to find the answer to this riddle. Note that you do not need to use a proof by contradiction, where you state a query, negate it, and add it to the knowledge base. All the information you need exists in the above statements; you only need to conclude that answer. For each step in your resolution, you must state which two clauses you are resolving (using the numbers you assigned them in part a), the unifier which unifies them, and the new clause that you generate. Assign a new number to each new clause that you generate (e.g. if you had 8 clauses in part a, then the clause generated by the first resolution step will be clause 9 , and so on). ( 9 points)