前提列（,区切り）
結論（一つ論理式）
使用可能：\neg, \land, \lor, \to(\rightarrow), \leftrightarrow, \bot, \top, (), a-z
例
例 1
例 2
例 3
選択
閉じる枝を操作停止
開始
リセット
健全性と完全性の証明
準備おｋ
Tableau 自動計算