Check below the one correct statement about the following resolution tree. O Consider the assumptions A = (paq) and the hypothesis (conclusion) h !q. If we convert Au(th) to clauses and perform...

Extracted text: Check below the one correct statement about the following resolution tree. O Consider the assumptions A = (paq) and the hypothesis (conclusion) h !q. If we convert Au(th) to clauses and perform resolution then the resolution tree will be as shown above. O Consider the assumptions A (!p, !q-p) and the hypothesis (conclusion) h = q. If we convert Au[!h) to clauses and perform resolution then the resolution tree will be as shown above. Consider the assumptions A (!p, q-p) and the hypothesis (conclusion) h = !q. If we convert Aufth) to clauses and peform resolution then the resolution tree will be as shown above.