Consider the following text: Anyone who does not sink and weights the same as a duck is a witch. Everyone who is made of wood weights the same as a duck. Everyone who is a witch is burned. Bob is made of wood, and does not sink. (a) Represent the text in First-Order Logic. (b) Convert the FOL sentences to Conjunctive Normal Form. Show all steps. (c) Are these Horn clauses? Explain. (d) Answer the query "Will we burn Bob?" using Resolution