「その如月は少なしし歌わす」ということは事実と異なる
fact1: 仮にあるものは送らないとすれば「多くないけど本する」ということは間違っている fact2: もしも嫌味っぽいということはない物が歌わさないならば少なしない fact3: 仮にこの担保・保証人はしゃくり上げないとしたら「その如月は少なしし歌わす」ということは間違っている fact4: もしその如月が下刈りならば少なし fact5: 「あの生活続命は多くないけどそれは本する」ということは成り立つということはないとすればこの低公害車は重複する fact6: その如月は歌わす fact7: 仮にこの低公害車が重複すればこの担保・保証人は嫌味っぽいということはないしおまけにそれは歌わさない fact8: この担保・保証人はしゃくり上げる fact9: あの安吾自身はしゃくり上げる fact10: すべての物は送るということはない fact11: もしこの担保・保証人がしゃくり上げるとするとその如月は下刈りだ fact12: その鼠蹊は歌わす
fact11 & fact8 -> int1: その如月は下刈りだ; int1 & fact4 -> int2: その如月は少なし; int2 & fact6 -> hypothesis;
その如月はしゃくり上げる
fact14 -> int3: もし仮にこの担保・保証人が嫌味っぽくなくてかつそれが歌わすということはないとするとそれは少なしない; fact17 -> int4: もしあのモデル図は送るということはないならば「それは多くない一方で本する」ということは成り立たない; fact15 -> int5: あのモデル図は送らない; int4 & int5 -> int6: 「あのモデル図は多いということはないがしかし本する」ということは誤りだ; int6 -> int7: 多いということはないししかもそれは本するという物はない; int7 -> int8: 「あの生活続命は多くないがそれは本する」ということは成り立たない; int8 & fact13 -> int9: この低公害車は重複する; fact16 & int9 -> int10: この担保・保証人は嫌味っぽくなくてまたそれは歌わさない; int3 & int10 -> int11: この担保・保証人は少なしない; int11 -> int12: 「少なしない」ものはある;
$facts$ = fact1: 仮にあるものは送らないとすれば「多くないけど本する」ということは間違っている fact2: もしも嫌味っぽいということはない物が歌わさないならば少なしない fact3: 仮にこの担保・保証人はしゃくり上げないとしたら「その如月は少なしし歌わす」ということは間違っている fact4: もしその如月が下刈りならば少なし fact5: 「あの生活続命は多くないけどそれは本する」ということは成り立つということはないとすればこの低公害車は重複する fact6: その如月は歌わす fact7: 仮にこの低公害車が重複すればこの担保・保証人は嫌味っぽいということはないしおまけにそれは歌わさない fact8: この担保・保証人はしゃくり上げる fact9: あの安吾自身はしゃくり上げる fact10: すべての物は送るということはない fact11: もしこの担保・保証人がしゃくり上げるとするとその如月は下刈りだ fact12: その鼠蹊は歌わす ; $hypothesis$ = 「その如月は少なしし歌わす」ということは事実と異なる ; $proof$ = 
fact11 & fact8 -> int1: その如月は下刈りだ; int1 & fact4 -> int2: その如月は少なし; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは送らないとすれば「多くないけど本する」ということは間違っている
事実2: もしも嫌味っぽいということはない物が歌わさないならば少なしない
事実3: 仮にこの担保・保証人はしゃくり上げないとしたら「その如月は少なしし歌わす」ということは間違っている
事実4: もしその如月が下刈りならば少なし
事実5: 「あの生活続命は多くないけどそれは本する」ということは成り立つということはないとすればこの低公害車は重複する
事実6: その如月は歌わす
事実7: 仮にこの低公害車が重複すればこの担保・保証人は嫌味っぽいということはないしおまけにそれは歌わさない
事実8: この担保・保証人はしゃくり上げる
事実9: あの安吾自身はしゃくり上げる
事実10: すべての物は送るということはない
事実11: もしこの担保・保証人がしゃくり上げるとするとその如月は下刈りだ
事実12: その鼠蹊は歌わす

仮説: 「その如月は少なしし歌わす」ということは事実と異なる
1. 事実11と事実8から、推論1: "その如月は下刈りだ"が導かれる
2. 推論1と事実4から、推論2: "その如月は少なし"が導かれる
3. 推論2と事実6から、仮説が否定される

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