01. p∨r      premise
02. ¬q∨r     premise
  03. p→q    assumption
    04. p    assumption
    05. q    MP 03 04
      06. ¬q assumption
      07. ⊥  !!! 05 06
      08. r  explosion
    09. ¬q→r →intro 06-08
      10. r  assumption
    11. r→r  →intro 10-10
    12. r    ∨elim 02 09 11
  13. p→r    →intro 04-12
    14. r    assumption
  15. r→r    →intro 14-14
  16. r      ∨elim 01 13 15
17. [p→q]→r  →intro 03-16