Question 1010734
<table border=1 cellpadding = 3><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>N -&gt; R</td><td></td><td></td></tr><tr><td>2</td><td>O &lt;--&gt; R</td><td></td><td></td></tr><tr><td>3</td><td>(O -&gt; R) -&gt; L</td><td></td><td></td></tr><tr><td>:.</td><td>(N -&gt; O) &amp; L</td><td></td><td></td></tr><tr><td>4</td><td>(O -&gt; R) &amp; (R -&gt; O)</td><td>2</td><td>Material Equivalence</td></tr><tr><td>5</td><td>(R -&gt; O) &amp; (O -&gt; R)</td><td>4</td><td>Commutation</td></tr><tr><td>6</td><td>R -&gt; O</td><td>5</td><td>Simplification</td></tr><tr><td>7</td><td>N -&gt; O</td><td>1,6</td><td>Hypothetical Syllogism</td></tr><tr><td>8</td><td>O -&gt; R</td><td>4</td><td>Simplification</td></tr><tr><td>9</td><td>L</td><td>3,8</td><td>Modus Ponens</td></tr><tr><td>10</td><td>(N -&gt; O) &amp; L</td><td>7,9</td><td>Conjunction</td></tr></table>