Question 1171859
<font color=black size=3>
I'm going to use an arrow instead of a horsehoe symbol.
<table border = "1" cellpadding = "5"><tr><td>Number</td><td>Statement</td><td>Lines Used</td><td>Reason</td></tr><tr><td>1</td><td>F -> ~U</td><td></td><td></td></tr><tr><td>2</td><td>~F -> P</td><td></td><td></td></tr><tr><td>3</td><td>F v ~F</td><td></td><td></td></tr><tr><td>:.</td><td>~U v P</td><td></td><td></td></tr><tr><td>4</td><td>U -> ~F</td><td>1</td><td>Transposition</td></tr><tr><td>5</td><td>U -> P</td><td>4,2</td><td>Hypothetical Syllogism</td></tr><tr><td>6</td><td>~U v P</td><td>5</td><td>Material Implication</td></tr></table>
It appears line 3 is not used at all (though it may be possible you use it if you follow another route)
</font>