「この韓屋は拡張出来る一方でそれは掴み易くない」ということは成り立たない
fact1: 仮になにかはスムージングするということはないとしたらそれは御早い fact2: 仮にそのデリートが液であるということはないがもがき始めるならその氷室君は拡張出来ない fact3: もし仮になにかはＨＢでないとすると金余りでないしそれは言い出し難い fact4: もし仮にその氷室君が人口動態でないとすれば邪馬台国であるかもしくはそれはＨＢでないかまたは両方である fact5: この韓屋は拡張出来る fact6: もしその促進要因が資本調達するということはないとしたらそれはカーブするしおまけに法人等である fact7: そのデリートが液であるしさらにもがき始めるとするとその氷室君は拡張出来ない fact8: そのデリートは液でない fact9: もしその促進要因は資本調達しないか怒り狂うかまたは両方であるとしたらそれは資本調達しない fact10: もしもそのデリートが金余りでない一方で言い出し難いとすればあの韓屋は金余りでない fact11: その促進要因は墨守するとすれば「そのオーソリティはスムージングするかあるいは膨らみ切らない」ということは成り立たない fact12: その促進要因がカーブするとすればそれは墨守する fact13: その促進要因は資本調達しないかもしくは怒り狂うかあるいは両方ともだ fact14: もし仮にその氷室君が拡張出来ないならばあの韓屋は拡張出来る fact15: もし仮にそのデリートが液でないがしかし掴み易いとするとその氷室君は拡張出来るということはない fact16: 仮になにがしかの物が御早いとすれば人口動態であるということはない fact17: そのデリートは液でない一方でもがき始める fact18: その氷室君が拡張出来ないとしたらこの韓屋は拡張出来る一方で掴み易くない fact19: もし仮に「ある物は金余りでない」ということは真実なら「それは拡張出来るしそれは掴み易くない」ということは偽である fact20: 「そのオーソリティはスムージングするかもしくは膨らみ切るということはない」ということは誤りならばその氷室君はスムージングしない
fact2 & fact17 -> int1: その氷室君は拡張出来るということはない; int1 & fact18 -> hypothesis;
fact2 & fact17 -> int1: ¬{B}{b}; int1 & fact18 -> hypothesis;
「この韓屋は拡張出来るがしかし掴み易くない」ということは間違いだ
fact27 -> int2: もし仮に「この韓屋は金余りでない」ということは事実であるとしたら「「それは拡張出来るが掴み易くない」ということは確かだ」ということは誤りだ; fact31 -> int3: そのデリートはＨＢでないならそれは金余りでないけど言い出し難い; fact30 -> int4: もしも「その氷室君は御早い」ということは成り立つとするとそれは人口動態でない; fact26 -> int5: その氷室君がスムージングするということはないとすればそれは御早い; fact23 & fact22 -> int6: その促進要因は資本調達するということはない; fact28 & int6 -> int7: その促進要因はカーブするしかつ法人等である; int7 -> int8: その促進要因はカーブする; fact25 & int8 -> int9: その促進要因は墨守する; fact29 & int9 -> int10: 「そのオーソリティはスムージングするかあるいは膨らみ切らない」ということは事実でない; fact21 & int10 -> int11: その氷室君はスムージングしない; int5 & int11 -> int12: 「その氷室君は御早い」ということは間違っていない; int4 & int12 -> int13: その氷室君は人口動態でない; fact24 & 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 & fact17 -> int1: その氷室君は拡張出来るということはない; int1 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮になにかはスムージングするということはないとしたらそれは御早い
事実2: 仮にそのデリートが液であるということはないがもがき始めるならその氷室君は拡張出来ない
事実3: もし仮になにかはＨＢでないとすると金余りでないしそれは言い出し難い
事実4: もし仮にその氷室君が人口動態でないとすれば邪馬台国であるかもしくはそれはＨＢでないかまたは両方である
事実5: この韓屋は拡張出来る
事実6: もしその促進要因が資本調達するということはないとしたらそれはカーブするしおまけに法人等である
事実7: そのデリートが液であるしさらにもがき始めるとするとその氷室君は拡張出来ない
事実8: そのデリートは液でない
事実9: もしその促進要因は資本調達しないか怒り狂うかまたは両方であるとしたらそれは資本調達しない
事実10: もしもそのデリートが金余りでない一方で言い出し難いとすればあの韓屋は金余りでない
事実11: その促進要因は墨守するとすれば「そのオーソリティはスムージングするかあるいは膨らみ切らない」ということは成り立たない
事実12: その促進要因がカーブするとすればそれは墨守する
事実13: その促進要因は資本調達しないかもしくは怒り狂うかあるいは両方ともだ
事実14: もし仮にその氷室君が拡張出来ないならばあの韓屋は拡張出来る
事実15: もし仮にそのデリートが液でないがしかし掴み易いとするとその氷室君は拡張出来るということはない
事実16: 仮になにがしかの物が御早いとすれば人口動態であるということはない
事実17: そのデリートは液でない一方でもがき始める
事実18: その氷室君が拡張出来ないとしたらこの韓屋は拡張出来る一方で掴み易くない
事実19: もし仮に「ある物は金余りでない」ということは真実なら「それは拡張出来るしそれは掴み易くない」ということは偽である
事実20: 「そのオーソリティはスムージングするかもしくは膨らみ切るということはない」ということは誤りならばその氷室君はスムージングしない

仮説: 「この韓屋は拡張出来る一方でそれは掴み易くない」ということは成り立たない
1. 事実2と事実17から、推論1: "その氷室君は拡張出来るということはない"が導かれる
2. 推論1と事実18から、仮説が否定される

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