(p ⇒ r) ∨ (q⇒r) ├ (p ∧ q) ⇒ r
1       (p ⇒ r) ∨ (q⇒r)        Assump o
2       (p ∧ q) ├ r
2.1      p ∧ q                  Assump 2
2.2      r                      V E 1,2
3        (p ∧ q) ⇒ r           ⇒I 2