その道祖神は確立しない
fact1: 「「冗談っぽい」ものはある」ということは本当であるとしたらあの受賞作は負ぶさるかあるいはそれは歌い終わるかもしくはどちらもである fact2: 仮にあるものは確立しなくてしかも非公開だということはないとするとそれは蝦蟇口である fact3: もし仮にあの受賞作は蝦蟇口でないとしたら非公開でない fact4: 冗談っぽいものはある fact5: 「愛くるしいものは入り過ぎるかあるいは歌い終わるということはないかあるいは両方だ」ということは事実である fact6: もし仮になにがしかのものが歌い終わればそれは入り過ぎるということはないしおまけに愛くるしくない fact7: もしもその道祖神が確立するとするとあの受賞作は非公開だ fact8: あの受賞作が入り過ぎればその道祖神は確立しないし非公開でない fact9: あの受賞作は確立する fact10: その道祖神は蝦蟇口だ fact11: あの受賞作は蝦蟇口でない fact12: もしも何かは蝦蟇口だということはないしまた非公開であるということはないならばそれは確立する fact13: その道祖神は威張り散らさない
void -> assump1: 以下のように仮定する。「その道祖神は確立する」ということは嘘でない; fact7 & assump1 -> int1: あの受賞作は非公開だ; fact11 & fact3 -> int2: あの受賞作は非公開でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その道祖神は蝦蟇口だ
fact14 -> int4: 仮にその道祖神は確立するということはないし非公開でないならばそれは蝦蟇口だ; fact15 -> int5: もしその級数は愛くるしいなら「入り過ぎるかまたはそれは歌い終わらないかまたは両方ともである」ということは事実だ;
$facts$ = fact1: 「「冗談っぽい」ものはある」ということは本当であるとしたらあの受賞作は負ぶさるかあるいはそれは歌い終わるかもしくはどちらもである fact2: 仮にあるものは確立しなくてしかも非公開だということはないとするとそれは蝦蟇口である fact3: もし仮にあの受賞作は蝦蟇口でないとしたら非公開でない fact4: 冗談っぽいものはある fact5: 「愛くるしいものは入り過ぎるかあるいは歌い終わるということはないかあるいは両方だ」ということは事実である fact6: もし仮になにがしかのものが歌い終わればそれは入り過ぎるということはないしおまけに愛くるしくない fact7: もしもその道祖神が確立するとするとあの受賞作は非公開だ fact8: あの受賞作が入り過ぎればその道祖神は確立しないし非公開でない fact9: あの受賞作は確立する fact10: その道祖神は蝦蟇口だ fact11: あの受賞作は蝦蟇口でない fact12: もしも何かは蝦蟇口だということはないしまた非公開であるということはないならばそれは確立する fact13: その道祖神は威張り散らさない ; $hypothesis$ = その道祖神は確立しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その道祖神は確立する」ということは嘘でない; fact7 & assump1 -> int1: あの受賞作は非公開だ; fact11 & fact3 -> int2: あの受賞作は非公開でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「「冗談っぽい」ものはある」ということは本当であるとしたらあの受賞作は負ぶさるかあるいはそれは歌い終わるかもしくはどちらもである
事実2: 仮にあるものは確立しなくてしかも非公開だということはないとするとそれは蝦蟇口である
事実3: もし仮にあの受賞作は蝦蟇口でないとしたら非公開でない
事実4: 冗談っぽいものはある
事実5: 「愛くるしいものは入り過ぎるかあるいは歌い終わるということはないかあるいは両方だ」ということは事実である
事実6: もし仮になにがしかのものが歌い終わればそれは入り過ぎるということはないしおまけに愛くるしくない
事実7: もしもその道祖神が確立するとするとあの受賞作は非公開だ
事実8: あの受賞作が入り過ぎればその道祖神は確立しないし非公開でない
事実9: あの受賞作は確立する
事実10: その道祖神は蝦蟇口だ
事実11: あの受賞作は蝦蟇口でない
事実12: もしも何かは蝦蟇口だということはないしまた非公開であるということはないならばそれは確立する
事実13: その道祖神は威張り散らさない

仮説: その道祖神は確立しない
1. 仮定1: 以下のように仮定する。「その道祖神は確立する」ということは嘘でない
2. 事実7と仮定1から、推論1: "あの受賞作は非公開だ"が導かれる
3. 事実11と事実3から、推論2: "あの受賞作は非公開でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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