「その当夜は度し難いということはないしおまけに再編成するということはない」ということは間違っている
fact1: この相給はコーポレートでないならば「その当夜は度し難くないし再編成しない」ということは成り立たない fact2: その辺境はコーポレートでない fact3: 「あの歌舞伎狂言は度し難い」ということは成り立つ fact4: 「この四十五パーセント生クリームはＡＳＮであるしそれは二箇月分である」ということは正しくない fact5: もしも「この四十五パーセント生クリームは怠くらないがそれは頭軸である」ということは成り立たないとしたらこの相給はコーポレートでない fact6: 「仮にこの停車駅がパンクするならばあの贅沢商売は寄る辺無い」ということは成り立つ fact7: 「もし仮にこの停車駅が破瓜しないとしたらこの停車駅は信行でそれはパンクする」ということは偽でない fact8: その当夜は再編成しない fact9: もしもなにがしかの物がＡＶＲでないとすればそれは動き難くてまた酷い fact10: 「この四十五パーセント生クリームは信行でないけれど締め直す」ということは偽である fact11: この西上が破瓜するとすればあの停車駅は破瓜しない fact12: 仮にこの四十五パーセント生クリームがＡＳＮだとするとその当夜は度し難くない fact13: この相給はコーポレートだ fact14: この四十五パーセント生クリームはコーポレートならば「「その当夜は度し難くないがしかしそれはＡＳＮだ」ということは成り立つ」ということは成り立たない fact15: 「この相給は度し難くないがしかしコーポレートである」ということは成り立たないとしたらその当夜は二箇月分でない fact16: もしなにかは動き難いならば「それは怠くらない一方で頭軸だ」ということは成り立たない fact17: もし仮にこの相給はコーポレートであるとすると「この四十五パーセント生クリームがＡＳＮだしおまけにそれは二箇月分だ」ということは誤りである fact18: 仮にその贅沢商売が寄る辺無いならばこの四十五パーセント生クリームはＡＶＲでないけど取れ易い fact19: もしも「この四十五パーセント生クリームはＡＳＮでないが二箇月分である」ということは成り立つということはないとするとその当夜は度し難くない fact20: この相給はコーポレートであるとすると「「この四十五パーセント生クリームはＡＳＮでない一方で二箇月分だ」ということは成り立たない」ということは成り立つ
fact20 & fact13 -> int1: 「この四十五パーセント生クリームはＡＳＮでないけど二箇月分だ」ということは間違いである; int1 & fact19 -> int2: その当夜は度し難くない; int2 & fact8 -> hypothesis;
「その当夜は度し難くないしまたそれは再編成しない」ということは偽である
fact26 -> int3: もし仮にこの四十五パーセント生クリームは動き難いとすれば「それは怠くらないしそれは頭軸だ」ということは確かでない; fact21 -> int4: もしこの四十五パーセント生クリームがＡＶＲでないとすればそれは動き難くてそれは酷い;
$facts$ = fact1: この相給はコーポレートでないならば「その当夜は度し難くないし再編成しない」ということは成り立たない fact2: その辺境はコーポレートでない fact3: 「あの歌舞伎狂言は度し難い」ということは成り立つ fact4: 「この四十五パーセント生クリームはＡＳＮであるしそれは二箇月分である」ということは正しくない fact5: もしも「この四十五パーセント生クリームは怠くらないがそれは頭軸である」ということは成り立たないとしたらこの相給はコーポレートでない fact6: 「仮にこの停車駅がパンクするならばあの贅沢商売は寄る辺無い」ということは成り立つ fact7: 「もし仮にこの停車駅が破瓜しないとしたらこの停車駅は信行でそれはパンクする」ということは偽でない fact8: その当夜は再編成しない fact9: もしもなにがしかの物がＡＶＲでないとすればそれは動き難くてまた酷い fact10: 「この四十五パーセント生クリームは信行でないけれど締め直す」ということは偽である fact11: この西上が破瓜するとすればあの停車駅は破瓜しない fact12: 仮にこの四十五パーセント生クリームがＡＳＮだとするとその当夜は度し難くない fact13: この相給はコーポレートだ fact14: この四十五パーセント生クリームはコーポレートならば「「その当夜は度し難くないがしかしそれはＡＳＮだ」ということは成り立つ」ということは成り立たない fact15: 「この相給は度し難くないがしかしコーポレートである」ということは成り立たないとしたらその当夜は二箇月分でない fact16: もしなにかは動き難いならば「それは怠くらない一方で頭軸だ」ということは成り立たない fact17: もし仮にこの相給はコーポレートであるとすると「この四十五パーセント生クリームがＡＳＮだしおまけにそれは二箇月分だ」ということは誤りである fact18: 仮にその贅沢商売が寄る辺無いならばこの四十五パーセント生クリームはＡＶＲでないけど取れ易い fact19: もしも「この四十五パーセント生クリームはＡＳＮでないが二箇月分である」ということは成り立つということはないとするとその当夜は度し難くない fact20: この相給はコーポレートであるとすると「「この四十五パーセント生クリームはＡＳＮでない一方で二箇月分だ」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「その当夜は度し難いということはないしおまけに再編成するということはない」ということは間違っている ; $proof$ = 
fact20 & fact13 -> int1: 「この四十五パーセント生クリームはＡＳＮでないけど二箇月分だ」ということは間違いである; int1 & fact19 -> int2: その当夜は度し難くない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: この相給はコーポレートでないならば「その当夜は度し難くないし再編成しない」ということは成り立たない
事実2: その辺境はコーポレートでない
事実3: 「あの歌舞伎狂言は度し難い」ということは成り立つ
事実4: 「この四十五パーセント生クリームはＡＳＮであるしそれは二箇月分である」ということは正しくない
事実5: もしも「この四十五パーセント生クリームは怠くらないがそれは頭軸である」ということは成り立たないとしたらこの相給はコーポレートでない
事実6: 「仮にこの停車駅がパンクするならばあの贅沢商売は寄る辺無い」ということは成り立つ
事実7: 「もし仮にこの停車駅が破瓜しないとしたらこの停車駅は信行でそれはパンクする」ということは偽でない
事実8: その当夜は再編成しない
事実9: もしもなにがしかの物がＡＶＲでないとすればそれは動き難くてまた酷い
事実10: 「この四十五パーセント生クリームは信行でないけれど締め直す」ということは偽である
事実11: この西上が破瓜するとすればあの停車駅は破瓜しない
事実12: 仮にこの四十五パーセント生クリームがＡＳＮだとするとその当夜は度し難くない
事実13: この相給はコーポレートだ
事実14: この四十五パーセント生クリームはコーポレートならば「「その当夜は度し難くないがしかしそれはＡＳＮだ」ということは成り立つ」ということは成り立たない
事実15: 「この相給は度し難くないがしかしコーポレートである」ということは成り立たないとしたらその当夜は二箇月分でない
事実16: もしなにかは動き難いならば「それは怠くらない一方で頭軸だ」ということは成り立たない
事実17: もし仮にこの相給はコーポレートであるとすると「この四十五パーセント生クリームがＡＳＮだしおまけにそれは二箇月分だ」ということは誤りである
事実18: 仮にその贅沢商売が寄る辺無いならばこの四十五パーセント生クリームはＡＶＲでないけど取れ易い
事実19: もしも「この四十五パーセント生クリームはＡＳＮでないが二箇月分である」ということは成り立つということはないとするとその当夜は度し難くない
事実20: この相給はコーポレートであるとすると「「この四十五パーセント生クリームはＡＳＮでない一方で二箇月分だ」ということは成り立たない」ということは成り立つ

仮説: 「その当夜は度し難いということはないしおまけに再編成するということはない」ということは間違っている
1. 事実20と事実13から、推論1: "「この四十五パーセント生クリームはＡＳＮでないけど二箇月分だ」ということは間違いである"が導かれる
2. 推論1と事実19から、推論2: "その当夜は度し難くない"が導かれる
3. 推論2と事実8から、仮説が否定される

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