1. D -> B 2. K - > D 3. K v C 4. ~B :. C ------------------------------------- 5. ~D 1,4 Modus Tollens 6. ~K 2,5 Modus Tollens 7. C 3,6 Disjunctive Syllogism