Untitled

<!DOCTYPE html>
<html>
<head>
  <title></title>
</head>
<body>
  <div class="proof">
    <span></span>
    <div>
      <span></span>
      <div class="sibling">
        <span></span>
        <table>
          <tbody>
            <tr>
              <td>
                <div id="uw-7">
                  <ul class="commaList">
                    <li id="uw-5"><span class="junct" onclick="uw_event=event;exec(cr(6));return false">A <span class="primaryConnective">∨</span> B</span></li>
                  </ul><span class="turnstile" onclick="uw_event=event;exec(cr(7));return false" title="reset">⊢</span>
                  <ul class="commaList">
                    <li id="uw-6"><span class="junct" onclick="uw_event=event;exec(cr(9));return false">(A → C) <span class="primaryConnective">→</span> (B → D) → C ∨ D</span></li>
                  </ul>
                </div>
              </td>
              <td class="tagBox">&nbsp;</td>
            </tr>
          </tbody>
        </table>
      </div>
    </div>
    <table>
      <tbody>
        <tr>
          <td class="inference">
            <div id="uw-4">
              <ul class="commaList"></ul><span class="turnstile" onclick="uw_event=event;exec(cr(10));return false" title="reset">⊢</span>
              <ul class="commaList">
                <li id="uw-3"><span class="junct" onclick="uw_event=event;exec(cr(11));return false">A ∨ B <span class="primaryConnective">→</span> (A → C) → (B → D) → C ∨ D</span></li>
              </ul>
            </div>
          </td>
          <td class="tagBox">
            <div class="tag">
              <span class="explained" id="uw-8">(→r)</span>
              <script>
              </script><span></span>
            </div>
          </td>
        </tr>
      </tbody>
    </table>
    <script>
    </script>
  </div>
</body>
</html>