Question 205447
<pre>

1.  (A v B) v C
2.  ~B & ~ E
3.  (A v C) -> (E & W)    / ~ (~E v ~ W)
---------------------------------------
4.  ~B                                  2     Simplification
5.  (B v A) v C                         1     Commutation
6.  B v (A v C)                         5     Association
7.  A v C                             6,4     Disjunctive Syllogism
8.  E & W                             3,7     Modus Ponens
9.  ~~E & ~~W                           8     Double Negation
10. ~(~E v ~W)                          9     De Morgan's Law

</pre>