Question 1101171
<pre><b>
1. (AvG)>K
2. K>(B>F)
3. A&#9679;B  ... (Conclusion is triple dot) F

So far I've got
4. (AvG)>(B>F)  1,2 Hypothetical syllogism
5. B     3, Simplification
6. A     3, Simplification

Here's the rest:

7. AvG   6, Addition
8. K     1,7 Modus Ponens
9. B>F   2,8 Modus Ponens
10. F    9,5 Modus Ponens  

Edwin</pre></b>