「そのＩＤＭは入封であるけれど見難くない」ということは間違っている
fact1: 「その盛り合わせは入力波形であるということはなくてそれは手厚くない」ということは本当でない fact2: 塩辛くないものは騒々しいかもしくは告白出来る fact3: この除草剤は父親らしくない fact4: もし仮にそのＩＤＭが注水しないとするとその大型投資は難い一方でそれは見難くない fact5: その盛り合わせは入力波形である fact6: あの回帰結果は言い易いがしかし手厚くない fact7: もしこの除草剤が代替するならその預金保険は入力波形でなくて加えてそれは塩辛くない fact8: 「その大型投資は難くないかまたは頷かないかまたは両方ともである」ということは成り立たない fact9: もしその預金保険は騒々しいとすると「その大型投資は見難いということはない」ということは誤りだ fact10: もし仮に「「その大型投資は難くないかもしくはそれは頷かないか両方である」ということは事実でない」ということは成り立つなら「その預金保険は告白出来ない」ということは成り立つ fact11: もし仮にあの天気予報が算入出来ないとすればそのＩＤＭは入封だ一方で見難くない fact12: 仮に「代替しない」物はあるとすると「この除草剤は塩辛くない」ということは成り立つ fact13: もし「あの回帰結果は注水しない」ということは成り立つとしたらこの除草剤は代替するし更に算入出来る fact14: もしあの回帰結果が言い易いなら注水しない fact15: 「「その盛り合わせは手厚くなくてしかもそれは注水しない」ということは偽である」ということは成り立つとすれば注水する fact16: 仮にその盛り合わせが注水するならばあの回帰結果は代替する fact17: もしもその大型投資が難くないし加えて注水しないとすればその盛り合わせは手厚い fact18: 「告白出来ない」物があるならこの除草剤は塩辛くないし加えて騒々しくない fact19: この除草剤が塩辛くないしかつ騒々しくないならあの回帰結果は入力波形だ fact20: 仮にあの回帰結果が代替するしそれは入力波形ならば「あの天気予報は算入出来ない」ということは成り立つ fact21: 「「その盛り合わせは手厚くなくてそれは注水しない」ということは成り立たない」ということは真実である
fact10 & fact8 -> int1: その預金保険は告白出来ない; int1 -> int2: 「告白出来ない」ものはある; int2 & fact18 -> int3: この除草剤は塩辛くないしおまけにそれは騒々しくない; int3 & fact19 -> int4: あの回帰結果は入力波形だ; fact15 & fact21 -> int5: その盛り合わせは注水する; int5 & fact16 -> int6: あの回帰結果は代替する; int4 & int6 -> int7: あの回帰結果は代替するしさらに入力波形である; int7 & fact20 -> int8: あの天気予報は算入出来るということはない; int8 & fact11 -> hypothesis;
「そのＩＤＭは入封であるけれど見難いということはない」ということは事実と異なる
fact24 -> int9: もしもその預金保険が塩辛くないなら騒々しいかそれは告白出来る; fact25 -> int10: あの回帰結果は言い易い; fact26 & int10 -> int11: あの回帰結果は注水しない; fact23 & int11 -> int12: この除草剤は代替するしそれは算入出来る; int12 -> int13: この除草剤は代替する; fact22 & int13 -> int14: その預金保険は入力波形でないしさらに塩辛くない; int14 -> int15: その預金保険は塩辛くない; int9 & int15 -> int16: その預金保険は騒々しいかまたはそれは告白出来るか両方ともだ;
$facts$ = fact1: 「その盛り合わせは入力波形であるということはなくてそれは手厚くない」ということは本当でない fact2: 塩辛くないものは騒々しいかもしくは告白出来る fact3: この除草剤は父親らしくない fact4: もし仮にそのＩＤＭが注水しないとするとその大型投資は難い一方でそれは見難くない fact5: その盛り合わせは入力波形である fact6: あの回帰結果は言い易いがしかし手厚くない fact7: もしこの除草剤が代替するならその預金保険は入力波形でなくて加えてそれは塩辛くない fact8: 「その大型投資は難くないかまたは頷かないかまたは両方ともである」ということは成り立たない fact9: もしその預金保険は騒々しいとすると「その大型投資は見難いということはない」ということは誤りだ fact10: もし仮に「「その大型投資は難くないかもしくはそれは頷かないか両方である」ということは事実でない」ということは成り立つなら「その預金保険は告白出来ない」ということは成り立つ fact11: もし仮にあの天気予報が算入出来ないとすればそのＩＤＭは入封だ一方で見難くない fact12: 仮に「代替しない」物はあるとすると「この除草剤は塩辛くない」ということは成り立つ fact13: もし「あの回帰結果は注水しない」ということは成り立つとしたらこの除草剤は代替するし更に算入出来る fact14: もしあの回帰結果が言い易いなら注水しない fact15: 「「その盛り合わせは手厚くなくてしかもそれは注水しない」ということは偽である」ということは成り立つとすれば注水する fact16: 仮にその盛り合わせが注水するならばあの回帰結果は代替する fact17: もしもその大型投資が難くないし加えて注水しないとすればその盛り合わせは手厚い fact18: 「告白出来ない」物があるならこの除草剤は塩辛くないし加えて騒々しくない fact19: この除草剤が塩辛くないしかつ騒々しくないならあの回帰結果は入力波形だ fact20: 仮にあの回帰結果が代替するしそれは入力波形ならば「あの天気予報は算入出来ない」ということは成り立つ fact21: 「「その盛り合わせは手厚くなくてそれは注水しない」ということは成り立たない」ということは真実である ; $hypothesis$ = 「そのＩＤＭは入封であるけれど見難くない」ということは間違っている ; $proof$ = 
fact10 & fact8 -> int1: その預金保険は告白出来ない; int1 -> int2: 「告白出来ない」ものはある; int2 & fact18 -> int3: この除草剤は塩辛くないしおまけにそれは騒々しくない; int3 & fact19 -> int4: あの回帰結果は入力波形だ; fact15 & fact21 -> int5: その盛り合わせは注水する; int5 & fact16 -> int6: あの回帰結果は代替する; int4 & int6 -> int7: あの回帰結果は代替するしさらに入力波形である; int7 & fact20 -> int8: あの天気予報は算入出来るということはない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その盛り合わせは入力波形であるということはなくてそれは手厚くない」ということは本当でない
事実2: 塩辛くないものは騒々しいかもしくは告白出来る
事実3: この除草剤は父親らしくない
事実4: もし仮にそのＩＤＭが注水しないとするとその大型投資は難い一方でそれは見難くない
事実5: その盛り合わせは入力波形である
事実6: あの回帰結果は言い易いがしかし手厚くない
事実7: もしこの除草剤が代替するならその預金保険は入力波形でなくて加えてそれは塩辛くない
事実8: 「その大型投資は難くないかまたは頷かないかまたは両方ともである」ということは成り立たない
事実9: もしその預金保険は騒々しいとすると「その大型投資は見難いということはない」ということは誤りだ
事実10: もし仮に「「その大型投資は難くないかもしくはそれは頷かないか両方である」ということは事実でない」ということは成り立つなら「その預金保険は告白出来ない」ということは成り立つ
事実11: もし仮にあの天気予報が算入出来ないとすればそのＩＤＭは入封だ一方で見難くない
事実12: 仮に「代替しない」物はあるとすると「この除草剤は塩辛くない」ということは成り立つ
事実13: もし「あの回帰結果は注水しない」ということは成り立つとしたらこの除草剤は代替するし更に算入出来る
事実14: もしあの回帰結果が言い易いなら注水しない
事実15: 「「その盛り合わせは手厚くなくてしかもそれは注水しない」ということは偽である」ということは成り立つとすれば注水する
事実16: 仮にその盛り合わせが注水するならばあの回帰結果は代替する
事実17: もしもその大型投資が難くないし加えて注水しないとすればその盛り合わせは手厚い
事実18: 「告白出来ない」物があるならこの除草剤は塩辛くないし加えて騒々しくない
事実19: この除草剤が塩辛くないしかつ騒々しくないならあの回帰結果は入力波形だ
事実20: 仮にあの回帰結果が代替するしそれは入力波形ならば「あの天気予報は算入出来ない」ということは成り立つ
事実21: 「「その盛り合わせは手厚くなくてそれは注水しない」ということは成り立たない」ということは真実である

仮説: 「そのＩＤＭは入封であるけれど見難くない」ということは間違っている
1. 事実10と事実8から、推論1: "その預金保険は告白出来ない"が導かれる
2. 推論1から、推論2: "「告白出来ない」ものはある"が導かれる
3. 推論2と事実18から、推論3: "この除草剤は塩辛くないしおまけにそれは騒々しくない"が導かれる
4. 推論3と事実19から、推論4: "あの回帰結果は入力波形だ"が導かれる
5. 事実15と事実21から、推論5: "その盛り合わせは注水する"が導かれる
6. 推論5と事実16から、推論6: "あの回帰結果は代替する"が導かれる
7. 推論4と推論6から、推論7: "あの回帰結果は代替するしさらに入力波形である"が導かれる
8. 推論7と事実20から、推論8: "あの天気予報は算入出来るということはない"が導かれる
9. 推論8と事実11から、仮説が否定される

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