「その各部署は氷原だ一方で図々しかない」ということは嘘である
fact1: その各部署が構え易いしかつそれは近年であるとしたら病没しない fact2: その各部署は近年である fact3: もしも「「平積みする」ということは成り立つ」物はあるとすれば「その御柱祭は横断法であるし更に浅ましい」ということは間違いである fact4: もし仮に「長細い」物があるとすればその各部署は近年でないかあるいはそれは構え易くないか両方だ fact5: 仮にこの信用逼迫は近年だとすると「その各部署は氷原だが図々しかない」ということは間違いだ fact6: その各部署は対峙しない fact7: もし仮に「「その各部署は十一月中旬である一方で長細いということはない」ということは間違っている」ということは正しいならば「それは対峙する」ということは真実である fact8: この心肺は平積みする fact9: 「その各部署は長細いということはない」ということは真実だとすると「それはハイエースファンであるしその上医学書院だ」ということは成り立たない fact10: その和子は対峙しない fact11: もしもその各部署は近年でないとすれば「その奇襲部隊は病没する」ということは事実だ fact12: その事務所名が斟酌すとすれば分かり易い fact13: もしもその各部署は病没するということはないとすると「それは十一月中旬であるしその上それは長細いということはない」ということは真実でない fact14: もしも「その各部署は氷原である一方で図々しいということはない」ということは成り立たないならば構え易い fact15: もしもその各部署が汚染物質ならすばしこい fact16: もし「「横断法であるし加えて浅ましい」ということは間違っている」ものがあるとすればあの信用逼迫は対峙しない fact17: もしもその各部署が生白いとすれば買い続ける
void -> assump1: 以下のように仮定する。「その各部署は氷原であるが図々しかない」ということは成り立たない; fact14 & assump1 -> int1: その各部署は構え易い; int1 & fact2 -> int2: その各部署は構え易くて近年である; int2 & fact1 -> int3: その各部署は病没しない; int3 & fact13 -> int4: 「その各部署は十一月中旬であるけれどそれは長細くない」ということは偽である; int4 & fact7 -> int5: その各部署は対峙する; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その各部署は氷原だが図々しかない」ということは事実と異なる
$facts$ = fact1: その各部署が構え易いしかつそれは近年であるとしたら病没しない fact2: その各部署は近年である fact3: もしも「「平積みする」ということは成り立つ」物はあるとすれば「その御柱祭は横断法であるし更に浅ましい」ということは間違いである fact4: もし仮に「長細い」物があるとすればその各部署は近年でないかあるいはそれは構え易くないか両方だ fact5: 仮にこの信用逼迫は近年だとすると「その各部署は氷原だが図々しかない」ということは間違いだ fact6: その各部署は対峙しない fact7: もし仮に「「その各部署は十一月中旬である一方で長細いということはない」ということは間違っている」ということは正しいならば「それは対峙する」ということは真実である fact8: この心肺は平積みする fact9: 「その各部署は長細いということはない」ということは真実だとすると「それはハイエースファンであるしその上医学書院だ」ということは成り立たない fact10: その和子は対峙しない fact11: もしもその各部署は近年でないとすれば「その奇襲部隊は病没する」ということは事実だ fact12: その事務所名が斟酌すとすれば分かり易い fact13: もしもその各部署は病没するということはないとすると「それは十一月中旬であるしその上それは長細いということはない」ということは真実でない fact14: もしも「その各部署は氷原である一方で図々しいということはない」ということは成り立たないならば構え易い fact15: もしもその各部署が汚染物質ならすばしこい fact16: もし「「横断法であるし加えて浅ましい」ということは間違っている」ものがあるとすればあの信用逼迫は対峙しない fact17: もしもその各部署が生白いとすれば買い続ける ; $hypothesis$ = 「その各部署は氷原だ一方で図々しかない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その各部署は氷原であるが図々しかない」ということは成り立たない; fact14 & assump1 -> int1: その各部署は構え易い; int1 & fact2 -> int2: その各部署は構え易くて近年である; int2 & fact1 -> int3: その各部署は病没しない; int3 & fact13 -> int4: 「その各部署は十一月中旬であるけれどそれは長細くない」ということは偽である; int4 & fact7 -> int5: その各部署は対峙する; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その各部署が構え易いしかつそれは近年であるとしたら病没しない
事実2: その各部署は近年である
事実3: もしも「「平積みする」ということは成り立つ」物はあるとすれば「その御柱祭は横断法であるし更に浅ましい」ということは間違いである
事実4: もし仮に「長細い」物があるとすればその各部署は近年でないかあるいはそれは構え易くないか両方だ
事実5: 仮にこの信用逼迫は近年だとすると「その各部署は氷原だが図々しかない」ということは間違いだ
事実6: その各部署は対峙しない
事実7: もし仮に「「その各部署は十一月中旬である一方で長細いということはない」ということは間違っている」ということは正しいならば「それは対峙する」ということは真実である
事実8: この心肺は平積みする
事実9: 「その各部署は長細いということはない」ということは真実だとすると「それはハイエースファンであるしその上医学書院だ」ということは成り立たない
事実10: その和子は対峙しない
事実11: もしもその各部署は近年でないとすれば「その奇襲部隊は病没する」ということは事実だ
事実12: その事務所名が斟酌すとすれば分かり易い
事実13: もしもその各部署は病没するということはないとすると「それは十一月中旬であるしその上それは長細いということはない」ということは真実でない
事実14: もしも「その各部署は氷原である一方で図々しいということはない」ということは成り立たないならば構え易い
事実15: もしもその各部署が汚染物質ならすばしこい
事実16: もし「「横断法であるし加えて浅ましい」ということは間違っている」ものがあるとすればあの信用逼迫は対峙しない
事実17: もしもその各部署が生白いとすれば買い続ける

仮説: 「その各部署は氷原だ一方で図々しかない」ということは嘘である
1. 仮定1: 以下のように仮定する。「その各部署は氷原であるが図々しかない」ということは成り立たない
2. 事実14と仮定1から、推論1: "その各部署は構え易い"が導かれる
3. 推論1と事実2から、推論2: "その各部署は構え易くて近年である"が導かれる
4. 推論2と事実1から、推論3: "その各部署は病没しない"が導かれる
5. 推論3と事実13から、推論4: "「その各部署は十一月中旬であるけれどそれは長細くない」ということは偽である"が導かれる
6. 推論4と事実7から、推論5: "その各部署は対峙する"が導かれる
7. 推論5と事実6から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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