「「もし国際予備審査機関であるとしたら「就業出来なくて加えて奪い去る」ということは成り立たない」物はある」ということは偽だ
fact1: 何らかのものが国際予備審査機関であるし作り続けるとしたらそれは馬村長でない fact2: もしあの頭越しが核兵器開発でないとすればさ迷うし作り続ける fact3: もし何らかのものは馬村長であるということはないならば「それは就業出来ないしかつ奪い去る」ということは嘘だ fact4: 「出迎えないし地下人でない」ものはある fact5: もしもあの二千二Ｂが成功し易くないしおまけに後漢代でないとしたらあの頭越しは後漢代でない fact6: 「馬村長であるとすると「作り続けるしまた成功し易い」ということは誤りである」物はある fact7: そのプレビューモードは奪い去る fact8: 仮になんらかのものが熟年であるならばあの富士山は出会い易いしそれにそれはＩＳ‐ＬＭ分析だ fact9: 仮に「奪い去るし就業出来る」物があればあの二千二Ｂは成功し易くない fact10: もしその創造的破壊が就業出来るかもしくは毳でないとしたらそのプレビューモードは就業出来る fact11: 仮に「「国際予備審査機関でなくておまけに馬村長でない」ということは間違いである」物があればあの二千二Ｂは後漢代でない fact12: 「もしもあの富士山はＩＳ‐ＬＭ分析ならば「あの富士山は国際予備審査機関でないし加えて馬村長でない」ということは正しくない」ということは成り立つ fact13: 「熟年である」ものはある fact14: とある物は馬村長でないとすると就業出来ないけど奪い去る fact15: 「もし仮に「国際予備審査機関である」ということは本当であるとすると就業出来ないが奪い去る」ものはある fact16: 仮になにがしかの物は馬村長でないとすれば「それは就業出来るし奪い去る」ということは偽である fact17: あの二千二Ｂは作り続けるけど成功し易くない fact18: もしもあの二千二Ｂが国際予備審査機関であるとしたらそれは就業出来なくてまた奪い去る fact19: 「もし仮に国際予備審査機関であるなら「就業出来るしまた奪い去る」ということは誤りな」ものはある
fact17 -> int1: あの二千二Ｂは作り続ける; void -> assump1: 以下のように仮定する。あの二千二Ｂは国際予備審査機関である; int1 & assump1 -> int2: あの二千二Ｂは国際予備審査機関であるししかもそれは作り続ける; fact1 -> int3: もし仮にあの二千二Ｂは国際予備審査機関で更に作り続ければ馬村長でない; int2 & int3 -> int4: あの二千二Ｂは馬村長であるということはない; fact3 -> int5: もし仮にあの二千二Ｂは馬村長でないとすると「就業出来なくてそれは奪い去る」ということは本当でない; int4 & int5 -> int6: 「あの二千二Ｂは就業出来るということはないがしかし奪い去る」ということは成り立たない; [assump1] & int6 -> int7: もしもあの二千二Ｂは国際予備審査機関だとしたら「就業出来ないししかもそれは奪い去る」ということは成り立たない; int7 -> hypothesis;
あの頭越しはさ迷うがそれは後漢代でない
fact27 & fact26 -> int8: 「あの富士山は出会い易くてまたそれはＩＳ‐ＬＭ分析だ」ということは成り立つ; int8 -> int9: あの富士山はＩＳ‐ＬＭ分析だ; fact21 & int9 -> int10: 「あの富士山は国際予備審査機関でなくてそれは馬村長でない」ということは間違いだ; int10 -> int11: 「「国際予備審査機関でないしさらに馬村長でない」ということは間違っている」ものはある; int11 & fact23 -> int12: あの二千二Ｂは後漢代でない;
$facts$ = fact1: 何らかのものが国際予備審査機関であるし作り続けるとしたらそれは馬村長でない fact2: もしあの頭越しが核兵器開発でないとすればさ迷うし作り続ける fact3: もし何らかのものは馬村長であるということはないならば「それは就業出来ないしかつ奪い去る」ということは嘘だ fact4: 「出迎えないし地下人でない」ものはある fact5: もしもあの二千二Ｂが成功し易くないしおまけに後漢代でないとしたらあの頭越しは後漢代でない fact6: 「馬村長であるとすると「作り続けるしまた成功し易い」ということは誤りである」物はある fact7: そのプレビューモードは奪い去る fact8: 仮になんらかのものが熟年であるならばあの富士山は出会い易いしそれにそれはＩＳ‐ＬＭ分析だ fact9: 仮に「奪い去るし就業出来る」物があればあの二千二Ｂは成功し易くない fact10: もしその創造的破壊が就業出来るかもしくは毳でないとしたらそのプレビューモードは就業出来る fact11: 仮に「「国際予備審査機関でなくておまけに馬村長でない」ということは間違いである」物があればあの二千二Ｂは後漢代でない fact12: 「もしもあの富士山はＩＳ‐ＬＭ分析ならば「あの富士山は国際予備審査機関でないし加えて馬村長でない」ということは正しくない」ということは成り立つ fact13: 「熟年である」ものはある fact14: とある物は馬村長でないとすると就業出来ないけど奪い去る fact15: 「もし仮に「国際予備審査機関である」ということは本当であるとすると就業出来ないが奪い去る」ものはある fact16: 仮になにがしかの物は馬村長でないとすれば「それは就業出来るし奪い去る」ということは偽である fact17: あの二千二Ｂは作り続けるけど成功し易くない fact18: もしもあの二千二Ｂが国際予備審査機関であるとしたらそれは就業出来なくてまた奪い去る fact19: 「もし仮に国際予備審査機関であるなら「就業出来るしまた奪い去る」ということは誤りな」ものはある ; $hypothesis$ = 「「もし国際予備審査機関であるとしたら「就業出来なくて加えて奪い去る」ということは成り立たない」物はある」ということは偽だ ; $proof$ = 
fact17 -> int1: あの二千二Ｂは作り続ける; void -> assump1: 以下のように仮定する。あの二千二Ｂは国際予備審査機関である; int1 & assump1 -> int2: あの二千二Ｂは国際予備審査機関であるししかもそれは作り続ける; fact1 -> int3: もし仮にあの二千二Ｂは国際予備審査機関で更に作り続ければ馬村長でない; int2 & int3 -> int4: あの二千二Ｂは馬村長であるということはない; fact3 -> int5: もし仮にあの二千二Ｂは馬村長でないとすると「就業出来なくてそれは奪い去る」ということは本当でない; int4 & int5 -> int6: 「あの二千二Ｂは就業出来るということはないがしかし奪い去る」ということは成り立たない; [assump1] & int6 -> int7: もしもあの二千二Ｂは国際予備審査機関だとしたら「就業出来ないししかもそれは奪い去る」ということは成り立たない; int7 -> hypothesis; __DISPROVED__
事実1: 何らかのものが国際予備審査機関であるし作り続けるとしたらそれは馬村長でない
事実2: もしあの頭越しが核兵器開発でないとすればさ迷うし作り続ける
事実3: もし何らかのものは馬村長であるということはないならば「それは就業出来ないしかつ奪い去る」ということは嘘だ
事実4: 「出迎えないし地下人でない」ものはある
事実5: もしもあの二千二Ｂが成功し易くないしおまけに後漢代でないとしたらあの頭越しは後漢代でない
事実6: 「馬村長であるとすると「作り続けるしまた成功し易い」ということは誤りである」物はある
事実7: そのプレビューモードは奪い去る
事実8: 仮になんらかのものが熟年であるならばあの富士山は出会い易いしそれにそれはＩＳ‐ＬＭ分析だ
事実9: 仮に「奪い去るし就業出来る」物があればあの二千二Ｂは成功し易くない
事実10: もしその創造的破壊が就業出来るかもしくは毳でないとしたらそのプレビューモードは就業出来る
事実11: 仮に「「国際予備審査機関でなくておまけに馬村長でない」ということは間違いである」物があればあの二千二Ｂは後漢代でない
事実12: 「もしもあの富士山はＩＳ‐ＬＭ分析ならば「あの富士山は国際予備審査機関でないし加えて馬村長でない」ということは正しくない」ということは成り立つ
事実13: 「熟年である」ものはある
事実14: とある物は馬村長でないとすると就業出来ないけど奪い去る
事実15: 「もし仮に「国際予備審査機関である」ということは本当であるとすると就業出来ないが奪い去る」ものはある
事実16: 仮になにがしかの物は馬村長でないとすれば「それは就業出来るし奪い去る」ということは偽である
事実17: あの二千二Ｂは作り続けるけど成功し易くない
事実18: もしもあの二千二Ｂが国際予備審査機関であるとしたらそれは就業出来なくてまた奪い去る
事実19: 「もし仮に国際予備審査機関であるなら「就業出来るしまた奪い去る」ということは誤りな」ものはある

仮説: 「「もし国際予備審査機関であるとしたら「就業出来なくて加えて奪い去る」ということは成り立たない」物はある」ということは偽だ
1. 事実17から、推論1: "あの二千二Ｂは作り続ける"が導かれる
2. 仮定1: 以下のように仮定する。あの二千二Ｂは国際予備審査機関である
3. 推論1と仮定1から、推論2: "あの二千二Ｂは国際予備審査機関であるししかもそれは作り続ける"が導かれる
4. 事実1から、推論3: "もし仮にあの二千二Ｂは国際予備審査機関で更に作り続ければ馬村長でない"が導かれる
5. 推論2と推論3から、推論4: "あの二千二Ｂは馬村長であるということはない"が導かれる
6. 事実3から、推論5: "もし仮にあの二千二Ｂは馬村長でないとすると「就業出来なくてそれは奪い去る」ということは本当でない"が導かれる
7. 推論4と推論5から、推論6: "「あの二千二Ｂは就業出来るということはないがしかし奪い去る」ということは成り立たない"が導かれる
8. [仮定1]と推論6から、推論7: "もしもあの二千二Ｂは国際予備審査機関だとしたら「就業出来ないししかもそれは奪い去る」ということは成り立たない"が導かれる
9. 推論7から、仮説が否定される

よって、仮説が否定されました。