Use resolution to show that the entailment $\{$p $->($q $->$ r$),($s $->($s $->$ r$))->$ p$\}|=($p $->$ q$)->$ r

holds.

Show the steps to convert the formulas to their necessary clausal forms, as well as the application

of resolution.