1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)] 2. G ∨ ∼F 3. ∼G /~L 4. ~F 2,3, Disjunctive Syllogism 5. ∼G ⊃ (∼F ⊃ ∼L) 1,4, Modus Ponens 6. (~G • ~F) ⊃ ~L 5, Exportation 7. ~G • ~F 3,4, Conjunction 8. ~L 6,7, Modus Ponens Edwin