「あのＩＰネットワークは止めするししかもそれは束ねる」ということは成り立たない
fact1: その五十億円以上は工場生産でない fact2: 「真っ白くない」物はある fact3: 「目撃出来ない」ものはある fact4: 多しないものはホルモン量であるか発展する fact5: もしもその五十億円以上が美々しかないならばあのＩＰネットワークは止めするし束ねる fact6: もしもその五十億円以上が美々しかないならあのＩＰネットワークは束ねる fact7: 「止めする」物はある fact8: もしもなにがしかのものが真っ白いということはないとしたらその五十億円以上は美々しかなくて工場生産でない fact9: もしあのグリニッジビレッジが世話するとするとこのレインコートは世話する fact10: 「工場生産でない」物はある fact11: 「何かは美々しいけど工場生産でない」ということは成り立たないとするとそれは真っ白くない fact12: 「「入札しないししかも多し」ということは真実でない」ものはあるとしたら「その五十億円以上は多しない」ということは本当だ fact13: もし「止めしない」ものがあるとしたらあのＩＰネットワークは工場生産でない fact14: このレインコートは世話するとすれば「入札するということはないが多し」ということは誤りだ fact15: あのグリニッジビレッジは世話する fact16: 「何らかの物は発展する」ということは真実だとしたら十万人である fact17: 何らかの物は吟味するとすれば「美々しくてさらに工場生産でない」ということは誤っている fact18: 「止めするということはない」ものはある fact19: 仮にあるものは真っ白くないなら「止めするしさらに束ねる」ということは偽である fact20: ホルモン量は十万人である
fact2 & fact8 -> int1: その五十億円以上は美々しかなくてそれに工場生産でない; int1 -> int2: その五十億円以上は美々しかない; int2 & fact5 -> hypothesis;
fact2 & fact8 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> int2: ¬{B}{a}; int2 & fact5 -> hypothesis;
「「あのＩＰネットワークは止めするし更に束ねる」ということは間違いである」ということは事実だ
fact30 -> int3: 仮にあのＩＰネットワークは真っ白くないとしたら「止めするししかもそれは束ねる」ということは成り立たない; fact23 -> int4: もしも「あのＩＰネットワークは美々しいがそれは工場生産でない」ということは本当でないとすればそれは真っ白いということはない; fact21 -> int5: もしもあのＩＰネットワークは吟味するとすると「美々しいけれど工場生産でない」ということは事実と異なる; fact29 -> int6: もしもその五十億円以上が多しないならばホルモン量であるかもしくは発展する; fact25 & fact26 -> int7: このレインコートは世話する; fact22 & int7 -> int8: 「このレインコートは入札しないがしかし多し」ということは成り立たない; int8 -> int9: 「「入札しなくて更に多し」ということは成り立たない」ものはある; int9 & fact28 -> int10: 「その五十億円以上は多しない」ということは事実である; int6 & int10 -> int11: その五十億円以上はホルモン量であるかまたはそれは発展するかあるいはどちらもである; fact24 -> int12: その五十億円以上はホルモン量であるとしたらそれは十万人である; fact27 -> int13: もし仮に「その五十億円以上は発展する」ということは本当なら「それは十万人だ」ということは正しい; int11 & int12 & int13 -> int14: その五十億円以上は十万人だ; int14 -> int15: あるものは十万人だ;
$facts$ = fact1: その五十億円以上は工場生産でない fact2: 「真っ白くない」物はある fact3: 「目撃出来ない」ものはある fact4: 多しないものはホルモン量であるか発展する fact5: もしもその五十億円以上が美々しかないならばあのＩＰネットワークは止めするし束ねる fact6: もしもその五十億円以上が美々しかないならあのＩＰネットワークは束ねる fact7: 「止めする」物はある fact8: もしもなにがしかのものが真っ白いということはないとしたらその五十億円以上は美々しかなくて工場生産でない fact9: もしあのグリニッジビレッジが世話するとするとこのレインコートは世話する fact10: 「工場生産でない」物はある fact11: 「何かは美々しいけど工場生産でない」ということは成り立たないとするとそれは真っ白くない fact12: 「「入札しないししかも多し」ということは真実でない」ものはあるとしたら「その五十億円以上は多しない」ということは本当だ fact13: もし「止めしない」ものがあるとしたらあのＩＰネットワークは工場生産でない fact14: このレインコートは世話するとすれば「入札するということはないが多し」ということは誤りだ fact15: あのグリニッジビレッジは世話する fact16: 「何らかの物は発展する」ということは真実だとしたら十万人である fact17: 何らかの物は吟味するとすれば「美々しくてさらに工場生産でない」ということは誤っている fact18: 「止めするということはない」ものはある fact19: 仮にあるものは真っ白くないなら「止めするしさらに束ねる」ということは偽である fact20: ホルモン量は十万人である ; $hypothesis$ = 「あのＩＰネットワークは止めするししかもそれは束ねる」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: その五十億円以上は美々しかなくてそれに工場生産でない; int1 -> int2: その五十億円以上は美々しかない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: その五十億円以上は工場生産でない
事実2: 「真っ白くない」物はある
事実3: 「目撃出来ない」ものはある
事実4: 多しないものはホルモン量であるか発展する
事実5: もしもその五十億円以上が美々しかないならばあのＩＰネットワークは止めするし束ねる
事実6: もしもその五十億円以上が美々しかないならあのＩＰネットワークは束ねる
事実7: 「止めする」物はある
事実8: もしもなにがしかのものが真っ白いということはないとしたらその五十億円以上は美々しかなくて工場生産でない
事実9: もしあのグリニッジビレッジが世話するとするとこのレインコートは世話する
事実10: 「工場生産でない」物はある
事実11: 「何かは美々しいけど工場生産でない」ということは成り立たないとするとそれは真っ白くない
事実12: 「「入札しないししかも多し」ということは真実でない」ものはあるとしたら「その五十億円以上は多しない」ということは本当だ
事実13: もし「止めしない」ものがあるとしたらあのＩＰネットワークは工場生産でない
事実14: このレインコートは世話するとすれば「入札するということはないが多し」ということは誤りだ
事実15: あのグリニッジビレッジは世話する
事実16: 「何らかの物は発展する」ということは真実だとしたら十万人である
事実17: 何らかの物は吟味するとすれば「美々しくてさらに工場生産でない」ということは誤っている
事実18: 「止めするということはない」ものはある
事実19: 仮にあるものは真っ白くないなら「止めするしさらに束ねる」ということは偽である
事実20: ホルモン量は十万人である

仮説: 「あのＩＰネットワークは止めするししかもそれは束ねる」ということは成り立たない
1. 事実2と事実8から、推論1: "その五十億円以上は美々しかなくてそれに工場生産でない"が導かれる
2. 推論1から、推論2: "その五十億円以上は美々しかない"が導かれる
3. 推論2と事実5から、仮説が否定される

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