「その経行像は茹で零さないけどそれはＮＮＴだ」ということは成り立たない
fact1: もし「「茹で零さないが中学校社会科地図だ」ということは成り立たない」ものがあるとするとあの内因子は上げ難くない fact2: 仮になにかはＮＮＴだとしたら「それは茹で零さない一方で中学校社会科地図だ」ということは成り立つということはない fact3: もしも「「因子分析でなくてＣＨオンでない」ということは間違いな」物があるとするとあの内因子は化体する fact4: あの新事業創造は言い難い fact5: もし仮にあの新事業創造が化体するかあるいはそれが上げ難いかまたはどちらもであるとすればあの経行像は働き難くない fact6: もし何らかのものが言い難いとしたらそれはＮＮＴである fact7: もしもあの内因子が化体するとするとあの新事業創造は化体するがしかし中学校社会科地図だということはない fact8: あの新事業創造は因子分析でない fact9: 仮に何かは働き難くないなら茹で零さないし更にＮＮＴだ fact10: 「「因子分析でなくてしかもＣＨオンだということはない」ということは事実でない」物はある
fact10 & fact3 -> int1: あの内因子は化体する; int1 & fact7 -> int2: あの新事業創造は化体する一方でそれは中学校社会科地図でない; int2 -> int3: 「あの新事業創造は化体する」ということは真実だ; int3 -> int4: 「あの新事業創造は化体するかそれは上げ難い」ということは間違いでない; int4 & fact5 -> int5: その経行像は働き難くない; fact9 -> int6: もしも「その経行像は働き難くない」ということは真実ならば茹で零さないけれどＮＮＴである; int5 & int6 -> hypothesis;
あの内因子は働き難い
fact14 -> int7: もしもあの新事業創造はＮＮＴだとすれば「茹で零さないしそれは中学校社会科地図だ」ということは偽である; fact12 -> int8: 仮にあの新事業創造が言い難いとしたらそれはＮＮＴである; int8 & fact13 -> int9: あの新事業創造はＮＮＴだ; int7 & int9 -> int10: 「あの新事業創造は茹で零すということはないが中学校社会科地図である」ということは誤っている; int10 -> int11: 「「茹で零さないし中学校社会科地図だ」ということは成り立たない」物はある; int11 & fact11 -> int12: あの内因子は上げ難くない;
$facts$ = fact1: もし「「茹で零さないが中学校社会科地図だ」ということは成り立たない」ものがあるとするとあの内因子は上げ難くない fact2: 仮になにかはＮＮＴだとしたら「それは茹で零さない一方で中学校社会科地図だ」ということは成り立つということはない fact3: もしも「「因子分析でなくてＣＨオンでない」ということは間違いな」物があるとするとあの内因子は化体する fact4: あの新事業創造は言い難い fact5: もし仮にあの新事業創造が化体するかあるいはそれが上げ難いかまたはどちらもであるとすればあの経行像は働き難くない fact6: もし何らかのものが言い難いとしたらそれはＮＮＴである fact7: もしもあの内因子が化体するとするとあの新事業創造は化体するがしかし中学校社会科地図だということはない fact8: あの新事業創造は因子分析でない fact9: 仮に何かは働き難くないなら茹で零さないし更にＮＮＴだ fact10: 「「因子分析でなくてしかもＣＨオンだということはない」ということは事実でない」物はある ; $hypothesis$ = 「その経行像は茹で零さないけどそれはＮＮＴだ」ということは成り立たない ; $proof$ = 
fact10 & fact3 -> int1: あの内因子は化体する; int1 & fact7 -> int2: あの新事業創造は化体する一方でそれは中学校社会科地図でない; int2 -> int3: 「あの新事業創造は化体する」ということは真実だ; int3 -> int4: 「あの新事業創造は化体するかそれは上げ難い」ということは間違いでない; int4 & fact5 -> int5: その経行像は働き難くない; fact9 -> int6: もしも「その経行像は働き難くない」ということは真実ならば茹で零さないけれどＮＮＴである; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし「「茹で零さないが中学校社会科地図だ」ということは成り立たない」ものがあるとするとあの内因子は上げ難くない
事実2: 仮になにかはＮＮＴだとしたら「それは茹で零さない一方で中学校社会科地図だ」ということは成り立つということはない
事実3: もしも「「因子分析でなくてＣＨオンでない」ということは間違いな」物があるとするとあの内因子は化体する
事実4: あの新事業創造は言い難い
事実5: もし仮にあの新事業創造が化体するかあるいはそれが上げ難いかまたはどちらもであるとすればあの経行像は働き難くない
事実6: もし何らかのものが言い難いとしたらそれはＮＮＴである
事実7: もしもあの内因子が化体するとするとあの新事業創造は化体するがしかし中学校社会科地図だということはない
事実8: あの新事業創造は因子分析でない
事実9: 仮に何かは働き難くないなら茹で零さないし更にＮＮＴだ
事実10: 「「因子分析でなくてしかもＣＨオンだということはない」ということは事実でない」物はある

仮説: 「その経行像は茹で零さないけどそれはＮＮＴだ」ということは成り立たない
1. 事実10と事実3から、推論1: "あの内因子は化体する"が導かれる
2. 推論1と事実7から、推論2: "あの新事業創造は化体する一方でそれは中学校社会科地図でない"が導かれる
3. 推論2から、推論3: "「あの新事業創造は化体する」ということは真実だ"が導かれる
4. 推論3から、推論4: "「あの新事業創造は化体するかそれは上げ難い」ということは間違いでない"が導かれる
5. 推論4と事実5から、推論5: "その経行像は働き難くない"が導かれる
6. 事実9から、推論6: "もしも「その経行像は働き難くない」ということは真実ならば茹で零さないけれどＮＮＴである"が導かれる
7. 推論5と推論6から、仮説が否定される

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