Question 189543

<pre>
1. (~B & ~C) -> (D -> C)
2. ~B
3. C -> B   / ~D
------------------------
4.  ~C                   3,2    Modus Tollens
5.  ~B & ~C              2,4    Conjunction
6.  D -> C               1,5    Modus Ponens
7.  ~D                   6,4    Modus Tollens
</pre>