1. F -> (S -> ~J) 2. D -> (F.J) :. ~D v ~S ---------------------------- 3. F -> (~~J -> ~S) 1 Transposition 4. F -> (J -> ~S) 3 Double Negation 5. (F.J) -> ~S 4 Exportation 6. D -> ~S 2,5 Hypothetical Syllogism 7. ~D v ~S 6 Material Implication