Part 1: Citations for Proofs The following proof is missing its citations (rule and line numbers), add them wherever the

[answerhappygod]

Part 1: Citations for Proofs The following proof is missing itscitations (rule and line numbers), add them wherever they arerequired. Note, this will require the use of both basic and derivedrules for SL (6 points). [(A ∨ B)  (C ∨ (F  H))], (A ∧ ¬C), (H C) ⊢ ¬F
1. [(A ∨ B)  (C ∨ (F  H))]
2. (A ∧ ¬C)
3. (H  C)
4. A
5. ¬C
6. (A ∨ B)
7. (C ∨ (F  H))
8. (F  H)
9. ¬H
10. ¬F