Question 199701
<pre>
1.   A -> ~B
2.   ~(C ^ ~A)
3.   B
4.   ~C -> D              :. D
----------------------------------
5.   ~~B                          3      Double Negation
6.   ~A                         1,5      Modus Tollens
7.   ~C v ~~A                     2      Distribution
8.   ~C v A                       7      Double Negation
9.   C -> A                       8      Material Implication
10.  ~C                         9,6      Modus Tollens
11.  D                         4,10      Modus Ponens
</pre>