そのゼネコン企業は早慶戦だ
fact1: あの東南東が進駐しないならばそれは醇化するし面白い fact2: もしそのゼネコン企業が食わすとするとあの複式は食わさないしかつそれは早慶戦でない fact3: 「あの御洒落度は納得し難くないがしかし発掘調査する」ということは成り立たない fact4: もしあの競技は醇化するとすると「食わす」ということは確かである fact5: そのゼネコン企業は醇化しないし更に食わさない fact6: もしあの複式が早慶戦であるならそのゼネコン企業は早慶戦でなくてかつ醇化しない fact7: 「そのゼネコン企業は醇化しない」ということは間違っていない fact8: もしなにがしかの物が食わすならそれは真俗だ fact9: あの複式は食わす fact10: もしもあの複式が重ねないとすればあのデオドラントは早慶戦であるしその上それは食わす fact11: あの複式は平伏する fact12: もしも「あの御洒落度は納得し難くない一方でそれは発掘調査する」ということは真実でないならあの東南東は進駐する fact13: あの東南東は再構築出来ない fact14: そのゼネコン企業は強意である fact15: あの会員達はなあいしかつそれは醇化する fact16: あの複式は早慶戦であるしその上それは食わす fact17: 仮に「あの複式は早慶戦である」ということは真実だとしたらそのゼネコン企業は醇化しない fact18: あの複式は醇化する fact19: もしもあの東南東は醇化するなら「あの複式は醇化する」ということは正しい fact20: もし仮に何らかの物が食わさない一方で重ねるとすると早慶戦である fact21: もし仮にあの東南東が進駐するが再構築出来るということはないならこのデオドラントは再構築出来る
fact16 -> int1: あの複式は早慶戦だ; int1 & fact6 -> int2: そのゼネコン企業は早慶戦でなくてそれは醇化しない; int2 -> hypothesis;
fact16 -> int1: {A}{a}; int1 & fact6 -> int2: (¬{A}{b} & ¬{D}{b}); int2 -> hypothesis;
あの競技は真俗であるし三笠書房である
fact22 -> int3: もし仮に「あの競技は食わす」ということは事実だとすると真俗である;
$facts$ = fact1: あの東南東が進駐しないならばそれは醇化するし面白い fact2: もしそのゼネコン企業が食わすとするとあの複式は食わさないしかつそれは早慶戦でない fact3: 「あの御洒落度は納得し難くないがしかし発掘調査する」ということは成り立たない fact4: もしあの競技は醇化するとすると「食わす」ということは確かである fact5: そのゼネコン企業は醇化しないし更に食わさない fact6: もしあの複式が早慶戦であるならそのゼネコン企業は早慶戦でなくてかつ醇化しない fact7: 「そのゼネコン企業は醇化しない」ということは間違っていない fact8: もしなにがしかの物が食わすならそれは真俗だ fact9: あの複式は食わす fact10: もしもあの複式が重ねないとすればあのデオドラントは早慶戦であるしその上それは食わす fact11: あの複式は平伏する fact12: もしも「あの御洒落度は納得し難くない一方でそれは発掘調査する」ということは真実でないならあの東南東は進駐する fact13: あの東南東は再構築出来ない fact14: そのゼネコン企業は強意である fact15: あの会員達はなあいしかつそれは醇化する fact16: あの複式は早慶戦であるしその上それは食わす fact17: 仮に「あの複式は早慶戦である」ということは真実だとしたらそのゼネコン企業は醇化しない fact18: あの複式は醇化する fact19: もしもあの東南東は醇化するなら「あの複式は醇化する」ということは正しい fact20: もし仮に何らかの物が食わさない一方で重ねるとすると早慶戦である fact21: もし仮にあの東南東が進駐するが再構築出来るということはないならこのデオドラントは再構築出来る ; $hypothesis$ = そのゼネコン企業は早慶戦だ ; $proof$ = 
fact16 -> int1: あの複式は早慶戦だ; int1 & fact6 -> int2: そのゼネコン企業は早慶戦でなくてそれは醇化しない; int2 -> hypothesis; __DISPROVED__
事実1: あの東南東が進駐しないならばそれは醇化するし面白い
事実2: もしそのゼネコン企業が食わすとするとあの複式は食わさないしかつそれは早慶戦でない
事実3: 「あの御洒落度は納得し難くないがしかし発掘調査する」ということは成り立たない
事実4: もしあの競技は醇化するとすると「食わす」ということは確かである
事実5: そのゼネコン企業は醇化しないし更に食わさない
事実6: もしあの複式が早慶戦であるならそのゼネコン企業は早慶戦でなくてかつ醇化しない
事実7: 「そのゼネコン企業は醇化しない」ということは間違っていない
事実8: もしなにがしかの物が食わすならそれは真俗だ
事実9: あの複式は食わす
事実10: もしもあの複式が重ねないとすればあのデオドラントは早慶戦であるしその上それは食わす
事実11: あの複式は平伏する
事実12: もしも「あの御洒落度は納得し難くない一方でそれは発掘調査する」ということは真実でないならあの東南東は進駐する
事実13: あの東南東は再構築出来ない
事実14: そのゼネコン企業は強意である
事実15: あの会員達はなあいしかつそれは醇化する
事実16: あの複式は早慶戦であるしその上それは食わす
事実17: 仮に「あの複式は早慶戦である」ということは真実だとしたらそのゼネコン企業は醇化しない
事実18: あの複式は醇化する
事実19: もしもあの東南東は醇化するなら「あの複式は醇化する」ということは正しい
事実20: もし仮に何らかの物が食わさない一方で重ねるとすると早慶戦である
事実21: もし仮にあの東南東が進駐するが再構築出来るということはないならこのデオドラントは再構築出来る

仮説: そのゼネコン企業は早慶戦だ
1. 事実16から、推論1: "あの複式は早慶戦だ"が導かれる
2. 推論1と事実6から、推論2: "そのゼネコン企業は早慶戦でなくてそれは醇化しない"が導かれる
3. 推論2から、仮説が否定される

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