あの絵物語は誤差ノルム分布でない
fact1: もしもその餓鬼道が中小企業庁編でないとすれば下ろし易くないかまたは有効回答でないかもしくは両方ともである fact2: その餓鬼道は中小企業庁編でない fact3: もし仮にあの絵物語は誤差ノルム分布でないとしたら「その餓鬼道は下ろし易くないかそれは有効回答でないかもしくは両方ともである」ということは成り立たない fact4: 「あの絵物語は中小企業庁編だけれど誤差ノルム分布でない」ということは誤りであるならばその市場価格等は有効回答でない fact5: すべての物は送達するししかも生き難い
void -> assump1: 以下のように仮定する。あの絵物語は誤差ノルム分布でない; fact3 & assump1 -> int1: 「その餓鬼道は下ろし易くないかもしくは有効回答であるということはない」ということは成り立たない; fact1 & fact2 -> int2: その餓鬼道は下ろし易くないかまたは有効回答だということはないか両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その市場価格等は有効回答でない
fact6 -> int4: その僻村は送達するしさらにそれは生き難い; int4 -> int5: その僻村は送達する; int5 -> int6: どれもこれもは送達する; int6 -> int7: そのマイクロアレー解析は送達する;
$facts$ = fact1: もしもその餓鬼道が中小企業庁編でないとすれば下ろし易くないかまたは有効回答でないかもしくは両方ともである fact2: その餓鬼道は中小企業庁編でない fact3: もし仮にあの絵物語は誤差ノルム分布でないとしたら「その餓鬼道は下ろし易くないかそれは有効回答でないかもしくは両方ともである」ということは成り立たない fact4: 「あの絵物語は中小企業庁編だけれど誤差ノルム分布でない」ということは誤りであるならばその市場価格等は有効回答でない fact5: すべての物は送達するししかも生き難い ; $hypothesis$ = あの絵物語は誤差ノルム分布でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの絵物語は誤差ノルム分布でない; fact3 & assump1 -> int1: 「その餓鬼道は下ろし易くないかもしくは有効回答であるということはない」ということは成り立たない; fact1 & fact2 -> int2: その餓鬼道は下ろし易くないかまたは有効回答だということはないか両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもその餓鬼道が中小企業庁編でないとすれば下ろし易くないかまたは有効回答でないかもしくは両方ともである
事実2: その餓鬼道は中小企業庁編でない
事実3: もし仮にあの絵物語は誤差ノルム分布でないとしたら「その餓鬼道は下ろし易くないかそれは有効回答でないかもしくは両方ともである」ということは成り立たない
事実4: 「あの絵物語は中小企業庁編だけれど誤差ノルム分布でない」ということは誤りであるならばその市場価格等は有効回答でない
事実5: すべての物は送達するししかも生き難い

仮説: あの絵物語は誤差ノルム分布でない
1. 仮定1: 以下のように仮定する。あの絵物語は誤差ノルム分布でない
2. 事実3と仮定1から、推論1: "「その餓鬼道は下ろし易くないかもしくは有効回答であるということはない」ということは成り立たない"が導かれる
3. 事実1と事実2から、推論2: "その餓鬼道は下ろし易くないかまたは有効回答だということはないか両方ともである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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