YR,YRM,RMH (a) [8 points] Convert the statements above into a KB of CNF clauses and place the results into the five empty rectangular boxes below. Use this space for intermediate work: (b) [6 points] KBH, that is, H is a logical consequence of the KB. You will prove this using resolution on the KB plus H to derive the empty clause. Start with the clauses in the boxes below and proceed by resolving to produce new clauses (which you should place in new boxes, connected by arrows coming from the two source clause boxes - like in Figure 7.13, p. 216 of R&N ) until the empty clause is derived. You need not produce all allowed clauses