Question 196027
<pre>
1.  (A . B) -> (E -> A)
2.  (A . B) v C
3.  C -> D :. (E -> A) v D 
----------------------------------
4.  ~~(A . B) v C                   2       Double Negation
5.  ~(A . B) -> C                   4       Material Implication
6.  ~(A . B) -> D                 5,3       Hypothetical Syllogism
7.  ~D -> ~~(A . B)                 6       Transposition
8.  ~D -> (A . B)                   7       Double Negation
9.  ~D -> (E -> A)                8,1       Hypothetical Syllogism       
10. ~(E -> A) -> ~~D                9       Transposition
11. ~(E -> A) -> D                 10       Double Negation
12. (E -> A) v D                   11       Material Implication
</pre>