1. Show that SD determines the following entailment claim to be true. (This derivation can be done in 5 lines) :
{Q} ? (H ? O)? (R v Q)
2. Show that SD determines the following entailment claim to be true. (This derivation can be done in 10 lines.)
{ ~ (H & M) v D, ~D} ? ~(H & M)