この局所パラメータは御居ない
fact1: 仮にあの江湖が入れ難いならばそれは汚染逃避地仮説である fact2: あの江湖は付き合い続けるということはない fact3: もしあの江湖が汚染逃避地仮説であるならばこの局所パラメータは御居る fact4: もし仮に何らかのものが付き合い続けなくて入れ難くないとすればそれは出現し易くない fact5: もしなにかは付き合い続けるし入れ難いとすると御居ない fact6: あの連結財務諸表上は付き合い続けるということはない fact7: あの江湖は愛くるしい fact8: もしあの江湖が愛くるしいとすると出現し易い
void -> assump1: 以下のように仮定する。あの江湖は入れ難くない; fact2 & assump1 -> int1: あの江湖は付き合い続けなくておまけに入れ難くない; fact4 -> int2: もしもあの江湖が付き合い続けないしそれは入れ難くないならば「それは出現し易いということはない」ということは本当である; int1 & int2 -> int3: あの江湖は出現し易くない; fact8 & fact7 -> int4: 「あの江湖は出現し易い」ということは偽でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの江湖は入れ難い; int6 & fact1 -> int7: あの江湖は汚染逃避地仮説である; int7 & fact3 -> hypothesis;
この局所パラメータは御居るということはない
fact9 -> int8: もしもこの局所パラメータが付き合い続けるし加えてそれが入れ難いとしたら御居ない;
$facts$ = fact1: 仮にあの江湖が入れ難いならばそれは汚染逃避地仮説である fact2: あの江湖は付き合い続けるということはない fact3: もしあの江湖が汚染逃避地仮説であるならばこの局所パラメータは御居る fact4: もし仮に何らかのものが付き合い続けなくて入れ難くないとすればそれは出現し易くない fact5: もしなにかは付き合い続けるし入れ難いとすると御居ない fact6: あの連結財務諸表上は付き合い続けるということはない fact7: あの江湖は愛くるしい fact8: もしあの江湖が愛くるしいとすると出現し易い ; $hypothesis$ = この局所パラメータは御居ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの江湖は入れ難くない; fact2 & assump1 -> int1: あの江湖は付き合い続けなくておまけに入れ難くない; fact4 -> int2: もしもあの江湖が付き合い続けないしそれは入れ難くないならば「それは出現し易いということはない」ということは本当である; int1 & int2 -> int3: あの江湖は出現し易くない; fact8 & fact7 -> int4: 「あの江湖は出現し易い」ということは偽でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの江湖は入れ難い; int6 & fact1 -> int7: あの江湖は汚染逃避地仮説である; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にあの江湖が入れ難いならばそれは汚染逃避地仮説である
事実2: あの江湖は付き合い続けるということはない
事実3: もしあの江湖が汚染逃避地仮説であるならばこの局所パラメータは御居る
事実4: もし仮に何らかのものが付き合い続けなくて入れ難くないとすればそれは出現し易くない
事実5: もしなにかは付き合い続けるし入れ難いとすると御居ない
事実6: あの連結財務諸表上は付き合い続けるということはない
事実7: あの江湖は愛くるしい
事実8: もしあの江湖が愛くるしいとすると出現し易い

仮説: この局所パラメータは御居ない
1. 仮定1: 以下のように仮定する。あの江湖は入れ難くない
2. 事実2と仮定1から、推論1: "あの江湖は付き合い続けなくておまけに入れ難くない"が導かれる
3. 事実4から、推論2: "もしもあの江湖が付き合い続けないしそれは入れ難くないならば「それは出現し易いということはない」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "あの江湖は出現し易くない"が導かれる
5. 事実8と事実7から、推論4: "「あの江湖は出現し易い」ということは偽でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの江湖は入れ難い"が導かれる
8. 推論6と事実1から、推論7: "あの江湖は汚染逃避地仮説である"が導かれる
9. 推論7と事実3から、仮説が否定される

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