【正确答案】先将诸前提化成简单析取式．
   前提：p∨q、￢p∨r、￢r∨s；
   结论：q∨s．
   证明：
   ①p∨q
   前提引入；
   ②￢p∨r
   前提引入；
   ③q∨r
   ①、②归结；
   ④￢r∨s
   前提引入；
   ⑤q∨s
   ③、④归结．