この怖じ気は窒息死する
fact1: もし仮にこの解決・止揚が隙間無くないならばあの怖じ気は浅黒くないがしかしそれは追求する fact2: もしあの確定金額が疑わしくないししかも広ーいということはないとしたらこの大功は搭載出来る fact3: もし仮に「この怖じ気は隙間無くないしおまけにそれは吸い付けない」ということは間違いなら窒息死する fact4: この怖じ気が吸い付けるとすれば窒息死する fact5: もしもなにがしかのものが追求するとすればそれは吸い付けないしまたそれはジャン樟でない fact6: あるものは吸い付けないしかつジャン樟でないならばそれは窒息死しない fact7: 仮にその国史が空中分解しないとしたらあの全部改正は空中分解する fact8: 「仮に「あの全部改正は完納する一方でぐずぐずしない」ということは偽だとすればこの解決・止揚はぐずぐずしない」ということは成り立つ fact9: 仮にあの全部改正が追求しないとしたらその国史は浅黒くない fact10: もし仮にある物はぐずぐずしないとしたら「隙間無いしその上手早い」ということは偽だ fact11: もし仮に「何らかのものは隙間無いしおまけに手早い」ということは嘘だとすると「それは隙間無くない」ということは成り立つ fact12: この大功が搭載出来るとするとその国史は空中分解するということはない一方で辺り一帯である fact13: 「この怖じ気はジャン樟であるけどそれは吸い付けない」ということは事実と異なる fact14: 「この解決・止揚はジャン樟でない」ということは正しい fact15: この解決・止揚は吸い付けないならば「この怖じ気は隙間無くないし更に吸い付けない」ということは成り立たない fact16: その国史は浅黒い fact17: もし仮にこの解決・止揚は吸い付けるけれどジャン樟でないなら「あの全部改正は追求しない」ということは成り立つ fact18: もしなんらかの物は空中分解すれば「完納するししかもぐずぐずしない」ということは誤りだ
void -> assump1: 以下のように仮定する。この解決・止揚は吸い付ける; assump1 & fact14 -> int1: この解決・止揚は吸い付けるがしかしジャン樟だということはない; int1 & fact17 -> int2: あの全部改正は追求するということはない; int2 & fact9 -> int3: その国史は浅黒くない; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: この解決・止揚は吸い付けない; int5 & fact15 -> int6: 「この怖じ気は隙間無くなくてその上吸い付けない」ということは嘘である; int6 & fact3 -> hypothesis;
「この怖じ気は窒息死しない」ということは真実である
fact21 -> int7: 仮にこの怖じ気が吸い付けないしその上ジャン樟でないならば「窒息死するということはない」ということは成り立つ; fact27 -> int8: もし仮に「この怖じ気は追求する」ということは本当であるとすれば吸い付けないしそれにジャン樟でない; fact28 -> int9: 「この解決・止揚は隙間無いし更に手早い」ということは誤っていれば隙間無くない; fact22 -> int10: もしもこの解決・止揚はぐずぐずするということはないとしたら「隙間無いし手早い」ということは成り立つということはない; fact23 -> int11: 仮にあの全部改正は空中分解するとしたら「完納するしぐずぐずしない」ということは誤りだ;
$facts$ = fact1: もし仮にこの解決・止揚が隙間無くないならばあの怖じ気は浅黒くないがしかしそれは追求する fact2: もしあの確定金額が疑わしくないししかも広ーいということはないとしたらこの大功は搭載出来る fact3: もし仮に「この怖じ気は隙間無くないしおまけにそれは吸い付けない」ということは間違いなら窒息死する fact4: この怖じ気が吸い付けるとすれば窒息死する fact5: もしもなにがしかのものが追求するとすればそれは吸い付けないしまたそれはジャン樟でない fact6: あるものは吸い付けないしかつジャン樟でないならばそれは窒息死しない fact7: 仮にその国史が空中分解しないとしたらあの全部改正は空中分解する fact8: 「仮に「あの全部改正は完納する一方でぐずぐずしない」ということは偽だとすればこの解決・止揚はぐずぐずしない」ということは成り立つ fact9: 仮にあの全部改正が追求しないとしたらその国史は浅黒くない fact10: もし仮にある物はぐずぐずしないとしたら「隙間無いしその上手早い」ということは偽だ fact11: もし仮に「何らかのものは隙間無いしおまけに手早い」ということは嘘だとすると「それは隙間無くない」ということは成り立つ fact12: この大功が搭載出来るとするとその国史は空中分解するということはない一方で辺り一帯である fact13: 「この怖じ気はジャン樟であるけどそれは吸い付けない」ということは事実と異なる fact14: 「この解決・止揚はジャン樟でない」ということは正しい fact15: この解決・止揚は吸い付けないならば「この怖じ気は隙間無くないし更に吸い付けない」ということは成り立たない fact16: その国史は浅黒い fact17: もし仮にこの解決・止揚は吸い付けるけれどジャン樟でないなら「あの全部改正は追求しない」ということは成り立つ fact18: もしなんらかの物は空中分解すれば「完納するししかもぐずぐずしない」ということは誤りだ ; $hypothesis$ = この怖じ気は窒息死する ; $proof$ = 
void -> assump1: 以下のように仮定する。この解決・止揚は吸い付ける; assump1 & fact14 -> int1: この解決・止揚は吸い付けるがしかしジャン樟だということはない; int1 & fact17 -> int2: あの全部改正は追求するということはない; int2 & fact9 -> int3: その国史は浅黒くない; int3 & fact16 -> int4: これは矛盾である; [assump1] & int4 -> int5: この解決・止揚は吸い付けない; int5 & fact15 -> int6: 「この怖じ気は隙間無くなくてその上吸い付けない」ということは嘘である; int6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの解決・止揚が隙間無くないならばあの怖じ気は浅黒くないがしかしそれは追求する
事実2: もしあの確定金額が疑わしくないししかも広ーいということはないとしたらこの大功は搭載出来る
事実3: もし仮に「この怖じ気は隙間無くないしおまけにそれは吸い付けない」ということは間違いなら窒息死する
事実4: この怖じ気が吸い付けるとすれば窒息死する
事実5: もしもなにがしかのものが追求するとすればそれは吸い付けないしまたそれはジャン樟でない
事実6: あるものは吸い付けないしかつジャン樟でないならばそれは窒息死しない
事実7: 仮にその国史が空中分解しないとしたらあの全部改正は空中分解する
事実8: 「仮に「あの全部改正は完納する一方でぐずぐずしない」ということは偽だとすればこの解決・止揚はぐずぐずしない」ということは成り立つ
事実9: 仮にあの全部改正が追求しないとしたらその国史は浅黒くない
事実10: もし仮にある物はぐずぐずしないとしたら「隙間無いしその上手早い」ということは偽だ
事実11: もし仮に「何らかのものは隙間無いしおまけに手早い」ということは嘘だとすると「それは隙間無くない」ということは成り立つ
事実12: この大功が搭載出来るとするとその国史は空中分解するということはない一方で辺り一帯である
事実13: 「この怖じ気はジャン樟であるけどそれは吸い付けない」ということは事実と異なる
事実14: 「この解決・止揚はジャン樟でない」ということは正しい
事実15: この解決・止揚は吸い付けないならば「この怖じ気は隙間無くないし更に吸い付けない」ということは成り立たない
事実16: その国史は浅黒い
事実17: もし仮にこの解決・止揚は吸い付けるけれどジャン樟でないなら「あの全部改正は追求しない」ということは成り立つ
事実18: もしなんらかの物は空中分解すれば「完納するししかもぐずぐずしない」ということは誤りだ

仮説: この怖じ気は窒息死する
1. 仮定1: 以下のように仮定する。この解決・止揚は吸い付ける
2. 仮定1と事実14から、推論1: "この解決・止揚は吸い付けるがしかしジャン樟だということはない"が導かれる
3. 推論1と事実17から、推論2: "あの全部改正は追求するということはない"が導かれる
4. 推論2と事実9から、推論3: "その国史は浅黒くない"が導かれる
5. 推論3と事実16から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この解決・止揚は吸い付けない"が導かれる
7. 推論5と事実15から、推論6: "「この怖じ気は隙間無くなくてその上吸い付けない」ということは嘘である"が導かれる
8. 推論6と事実3から、仮説が導かれる

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