「あの柱頭は座り込まない」ということは正しい
fact1: 何もかもは具体化しない fact2: なにかは座り込まないかあるいは撤退コストであるならＭＯＵＳＥである fact3: この役変は座り込まない fact4: あの柱頭は座り込むなら「それは撤退コストだ」ということは真実だ fact5: もしもなにがしかの物が落ちればそれは座り込むけど撤退コストでない fact6: 何もかもは撤退コストでない
void -> assump1: 以下のように仮定する。あの柱頭は座り込む; fact4 & assump1 -> int1: 「あの柱頭は撤退コストだ」ということは成り立つ; fact6 -> int2: 「あの柱頭は撤退コストでない」ということは真実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; fact6 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの柱頭はＭＯＵＳＥだ
fact7 -> int4: 仮にあの柱頭は座り込むということはないかあるいは撤退コストであるかあるいは両方ともであるとしたらそれはＭＯＵＳＥである;
$facts$ = fact1: 何もかもは具体化しない fact2: なにかは座り込まないかあるいは撤退コストであるならＭＯＵＳＥである fact3: この役変は座り込まない fact4: あの柱頭は座り込むなら「それは撤退コストだ」ということは真実だ fact5: もしもなにがしかの物が落ちればそれは座り込むけど撤退コストでない fact6: 何もかもは撤退コストでない ; $hypothesis$ = 「あの柱頭は座り込まない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの柱頭は座り込む; fact4 & assump1 -> int1: 「あの柱頭は撤退コストだ」ということは成り立つ; fact6 -> int2: 「あの柱頭は撤退コストでない」ということは真実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何もかもは具体化しない
事実2: なにかは座り込まないかあるいは撤退コストであるならＭＯＵＳＥである
事実3: この役変は座り込まない
事実4: あの柱頭は座り込むなら「それは撤退コストだ」ということは真実だ
事実5: もしもなにがしかの物が落ちればそれは座り込むけど撤退コストでない
事実6: 何もかもは撤退コストでない

仮説: 「あの柱頭は座り込まない」ということは正しい
1. 仮定1: 以下のように仮定する。あの柱頭は座り込む
2. 事実4と仮定1から、推論1: "「あの柱頭は撤退コストだ」ということは成り立つ"が導かれる
3. 事実6から、推論2: "「あの柱頭は撤退コストでない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。