「その中小企業融資は繁雑であるしかつちょろい」ということは事実と異なる
fact1: そのスペイン領は繁雑だ fact2: もしもこの衣笠がちょろいならこの追加投資はちょろい fact3: この追加投資が繁雑ならばその中小企業融資は繁雑である fact4: もしこの追加投資がちょろいとすればあの衣笠はどでかい fact5: 「この追加投資はちょろい」ということは確かである fact6: 「この衣笠はどでかい」ということは成り立つ fact7: 仮に愛しくないものが扱き混ぜるとするとそれはどでかくない fact8: この衣笠は気分転換する fact9: 何らかのものはどでかいということはないならば「繁雑であるし更にそれはちょろい」ということは偽だ fact10: もし仮にこの追加投資がどでかいならその中小企業融資はどでかい fact11: その中小企業融資は御椀だ fact12: この追加投資はどでかい fact13: もしもその中小企業融資がちょろいとするとこの追加投資はちょろい fact14: この追加投資は比較し難くてそれは反作用する fact15: この追加投資がどでかいとしたらこの衣笠はどでかい fact16: 仮にその中小企業融資はどでかいなら「この追加投資はどでかい」ということは間違っていない fact17: 仮にその中小企業融資がちょろいならばあの衣笠は繁雑である fact18: その中小企業融資は下ろし易い fact19: この衣笠がちょろいとするとその中小企業融資はちょろい fact20: この衣笠はちょろい fact21: あの別業は八月吉日刊であるしそれはちょろい fact22: その中小企業融資は垂木である fact23: そのマイコプラズマが繁雑だしまたそれは結び付き難い fact24: もしもこの追加投資がどでかいならばその中小企業融資は繁雑である
fact24 & fact12 -> int1: 「その中小企業融資は繁雑だ」ということは本当だ; fact20 & fact19 -> int2: その中小企業融資はちょろい; int1 & int2 -> hypothesis;
「その中小企業融資は繁雑だしかつちょろい」ということは誤りである
fact26 -> int3: もしもその中小企業融資はどでかくないなら「繁雑であるしまたちょろい」ということは成り立たない; fact25 -> int4: もし仮に「その中小企業融資は愛しくないけれど扱き混ぜる」ということは事実であるならばそれはどでかくない;
$facts$ = fact1: そのスペイン領は繁雑だ fact2: もしもこの衣笠がちょろいならこの追加投資はちょろい fact3: この追加投資が繁雑ならばその中小企業融資は繁雑である fact4: もしこの追加投資がちょろいとすればあの衣笠はどでかい fact5: 「この追加投資はちょろい」ということは確かである fact6: 「この衣笠はどでかい」ということは成り立つ fact7: 仮に愛しくないものが扱き混ぜるとするとそれはどでかくない fact8: この衣笠は気分転換する fact9: 何らかのものはどでかいということはないならば「繁雑であるし更にそれはちょろい」ということは偽だ fact10: もし仮にこの追加投資がどでかいならその中小企業融資はどでかい fact11: その中小企業融資は御椀だ fact12: この追加投資はどでかい fact13: もしもその中小企業融資がちょろいとするとこの追加投資はちょろい fact14: この追加投資は比較し難くてそれは反作用する fact15: この追加投資がどでかいとしたらこの衣笠はどでかい fact16: 仮にその中小企業融資はどでかいなら「この追加投資はどでかい」ということは間違っていない fact17: 仮にその中小企業融資がちょろいならばあの衣笠は繁雑である fact18: その中小企業融資は下ろし易い fact19: この衣笠がちょろいとするとその中小企業融資はちょろい fact20: この衣笠はちょろい fact21: あの別業は八月吉日刊であるしそれはちょろい fact22: その中小企業融資は垂木である fact23: そのマイコプラズマが繁雑だしまたそれは結び付き難い fact24: もしもこの追加投資がどでかいならばその中小企業融資は繁雑である ; $hypothesis$ = 「その中小企業融資は繁雑であるしかつちょろい」ということは事実と異なる ; $proof$ = 
fact24 & fact12 -> int1: 「その中小企業融資は繁雑だ」ということは本当だ; fact20 & fact19 -> int2: その中小企業融資はちょろい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのスペイン領は繁雑だ
事実2: もしもこの衣笠がちょろいならこの追加投資はちょろい
事実3: この追加投資が繁雑ならばその中小企業融資は繁雑である
事実4: もしこの追加投資がちょろいとすればあの衣笠はどでかい
事実5: 「この追加投資はちょろい」ということは確かである
事実6: 「この衣笠はどでかい」ということは成り立つ
事実7: 仮に愛しくないものが扱き混ぜるとするとそれはどでかくない
事実8: この衣笠は気分転換する
事実9: 何らかのものはどでかいということはないならば「繁雑であるし更にそれはちょろい」ということは偽だ
事実10: もし仮にこの追加投資がどでかいならその中小企業融資はどでかい
事実11: その中小企業融資は御椀だ
事実12: この追加投資はどでかい
事実13: もしもその中小企業融資がちょろいとするとこの追加投資はちょろい
事実14: この追加投資は比較し難くてそれは反作用する
事実15: この追加投資がどでかいとしたらこの衣笠はどでかい
事実16: 仮にその中小企業融資はどでかいなら「この追加投資はどでかい」ということは間違っていない
事実17: 仮にその中小企業融資がちょろいならばあの衣笠は繁雑である
事実18: その中小企業融資は下ろし易い
事実19: この衣笠がちょろいとするとその中小企業融資はちょろい
事実20: この衣笠はちょろい
事実21: あの別業は八月吉日刊であるしそれはちょろい
事実22: その中小企業融資は垂木である
事実23: そのマイコプラズマが繁雑だしまたそれは結び付き難い
事実24: もしもこの追加投資がどでかいならばその中小企業融資は繁雑である

仮説: 「その中小企業融資は繁雑であるしかつちょろい」ということは事実と異なる
1. 事実24と事実12から、推論1: "「その中小企業融資は繁雑だ」ということは本当だ"が導かれる
2. 事実20と事実19から、推論2: "その中小企業融資はちょろい"が導かれる
3. 推論1と推論2から、仮説が否定される

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