Question 248111
<pre>
1.  ~(P & F)
2.  ((W v L) -> P) & W
3.  L -> F
--------------------------------------
4.  W & ((W v L) -> P)         2     Commutation
5.  W                          4     Simplification
6.  W v L                      5     Addition
7.  (W v L) -> P               2     Simplification
8.  P                          7,6   Modus Ponens                                 
9.  ~~P                        8     Double Negation
10. ~P v ~F                    1     De Morgan's Law
11. ~F                         10,9  Disjunctive Syllogism
12. ~L                         3,11  Modus Tollens
</pre>