Untitled

<!DOCTYPE html>
<html>
<head>
  <title></title>
</head>
<body>
  <div class="proof">
    <span></span>
    <table>
      <tbody>
        <tr>
          <td>
            <div id="uw-2">
              <ul class="commaList"></ul><span class="turnstile explained" onclick="uw_event=event;exec(cr(6));return false">⊢</span>
              <ul class="commaList">
                <li id="uw-1"><span class="junct" onclick="uw_event=event;exec(cr(7));return false">A ∨ B <span class="primaryConnective">→</span> (A → C) → (B → D) → C ∨ D</span></li>
              </ul>
            </div>
          </td>
          <td class="tagBox">&nbsp;</td>
        </tr>
      </tbody>
    </table>
    <script>
    </script>
  </div>
</body>
</html>