Question 980294
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>(N &gt; K) &amp; (S &gt; L)</td><td></td><td></td></tr><tr><td>2</td><td>(N &gt; O) &amp; (G &gt; N)</td><td></td><td></td></tr><tr><td>3</td><td>(O &gt; N) &amp; (R &gt; G)</td><td></td><td></td></tr><tr><td>4</td><td>O v R</td><td></td><td></td></tr><tr><td>5</td><td>~N</td><td></td><td></td></tr><tr><td>:.</td><td>K v L</td><td></td><td></td></tr><tr><td>6</td><td>N v G</td><td>3,4</td><td>Constructive Dilemma</td></tr><tr><td>7</td><td>O v N</td><td>2,6</td><td>Constructive Dilemma</td></tr><tr><td>8</td><td>N v O</td><td>7</td><td>Commutation</td></tr><tr><td>9</td><td>O</td><td>8,5</td><td>Disjunctive Syllogism</td></tr><tr><td>10</td><td>O &gt; N</td><td>3</td><td>Simplication</td></tr><tr><td>11</td><td>N</td><td>10,9</td><td>Modus Ponens</td></tr><tr><td>12</td><td>N v S</td><td>11</td><td>Addition</td></tr><tr><td>13</td><td>K v L</td><td>1,12</td><td>Constructive Dilemma</td></tr></table>