Question 297361
<pre>
1.  E v T
2.  T -> (B * H)
3.  (B v E) -> K               :. K
-----------------------------------
4.  ~~E v T                        1     Double Negation
5.  ~E -> T                        4     Material Implication
6.  ~E -> (B * H)                  5,1   Hypothetical Syllogism   
7.  ~~E v (B * H)                  6     Material Implication
8.  E v (B * H)                    7     Double Negation
9.  (E v B) * (E v H)              8     Distribution
10. E v B                          9     Simplification
11. B v E                          10    Commutation
12. K                              3,11  Modus Ponens
</pre>