「そのジャンクション建設は洋酒でないけれどそれは暮れ泥む」ということは成り立たない
fact1: 仮になにがしかの物はラウンドするとすると「洋酒でないしさらに暮れ泥む」ということは成り立たない fact2: この分析家達がラウンドしないとすればこの同音異義語は滞り易いかもしくはラウンドする fact3: もしも「この同音異義語は滞り易い」ということは真実ならばそのジャンクション建設は暮れ泥む fact4: もしもあの西部魂は聞き易いならば「この分析家達はラウンドしない」ということは確かである fact5: もしもこの分析家達はイメージし易いとしたら「あの西部魂は滞り易い」ということは成り立つ fact6: この分析家達が滞り易くないならばあの同音異義語はラウンドするかまたはそれは滞り易いかあるいは両方だ fact7: 仮に「「何らかのものは洋酒だ一方でイメージし易くない」ということは真実である」ということは正しくないとしたらそれは洋酒であるということはない fact8: 「この同音異義語は四千三百二十二弾であるが滞り易いということはない」ということは偽である fact9: もしもあの西部魂が滞り易いとしたらそのジャンクション建設はラウンドする fact10: もしこの分析家達が五角形でないとすればイメージし易くておまけに四千三百二十二弾だ fact11: 「あの西部魂は聞き易くないが開示する」ということは間違っている fact12: もしも「あの西部魂は聞き易くないけど開示する」ということは成り立つということはないとしたらこの分析家達はラウンドしない fact13: 仮に「この同音異義語はラウンドする」ということは事実ならばそのジャンクション建設は暮れ泥む fact14: あの西部魂は聞き易くない一方でそれは四千三百二十二弾だ fact15: この分析家達はラウンドするかまたは聞き易い fact16: 仮に「そのジャンクション建設は四千三百二十二弾である」ということは確かならば「それは洋酒であるがイメージし易くない」ということは成り立たない fact17: そのジャンクション建設は四千三百二十二弾だ fact18: 「「あの西部魂は聞き易いししかも開示する」ということは偽だ」ということは事実だ fact19: あの西部魂は暮れ泥まない fact20: 仮に「何らかの物は五角形であるが種苗だということはない」ということは成り立たないならそれは五角形でない fact21: この分析家達は聞き易い
fact12 & fact11 -> int1: この分析家達はラウンドするということはない; int1 & fact2 -> int2: この同音異義語は滞り易いかラウンドする; int2 & fact3 & fact13 -> int3: そのジャンクション建設は暮れ泥む; fact17 & fact16 -> int4: 「そのジャンクション建設は洋酒であるがしかしそれはイメージし易くない」ということは事実でない; fact7 -> int5: もしも「そのジャンクション建設は洋酒だがしかしイメージし易くない」ということは事実と異なるならそれは洋酒でない; int4 & int5 -> int6: そのジャンクション建設は洋酒でない; int3 & int6 -> hypothesis;
「そのジャンクション建設は洋酒でない一方で暮れ泥む」ということは成り立たない
fact24 -> int7: もし仮にそのジャンクション建設はラウンドすれば「それは洋酒でないしおまけに暮れ泥む」ということは成り立たない; fact25 -> int8: もしも「この分析家達は五角形であるけれどそれは種苗でない」ということは間違いだとすると五角形だということはない;
$facts$ = fact1: 仮になにがしかの物はラウンドするとすると「洋酒でないしさらに暮れ泥む」ということは成り立たない fact2: この分析家達がラウンドしないとすればこの同音異義語は滞り易いかもしくはラウンドする fact3: もしも「この同音異義語は滞り易い」ということは真実ならばそのジャンクション建設は暮れ泥む fact4: もしもあの西部魂は聞き易いならば「この分析家達はラウンドしない」ということは確かである fact5: もしもこの分析家達はイメージし易いとしたら「あの西部魂は滞り易い」ということは成り立つ fact6: この分析家達が滞り易くないならばあの同音異義語はラウンドするかまたはそれは滞り易いかあるいは両方だ fact7: 仮に「「何らかのものは洋酒だ一方でイメージし易くない」ということは真実である」ということは正しくないとしたらそれは洋酒であるということはない fact8: 「この同音異義語は四千三百二十二弾であるが滞り易いということはない」ということは偽である fact9: もしもあの西部魂が滞り易いとしたらそのジャンクション建設はラウンドする fact10: もしこの分析家達が五角形でないとすればイメージし易くておまけに四千三百二十二弾だ fact11: 「あの西部魂は聞き易くないが開示する」ということは間違っている fact12: もしも「あの西部魂は聞き易くないけど開示する」ということは成り立つということはないとしたらこの分析家達はラウンドしない fact13: 仮に「この同音異義語はラウンドする」ということは事実ならばそのジャンクション建設は暮れ泥む fact14: あの西部魂は聞き易くない一方でそれは四千三百二十二弾だ fact15: この分析家達はラウンドするかまたは聞き易い fact16: 仮に「そのジャンクション建設は四千三百二十二弾である」ということは確かならば「それは洋酒であるがイメージし易くない」ということは成り立たない fact17: そのジャンクション建設は四千三百二十二弾だ fact18: 「「あの西部魂は聞き易いししかも開示する」ということは偽だ」ということは事実だ fact19: あの西部魂は暮れ泥まない fact20: 仮に「何らかの物は五角形であるが種苗だということはない」ということは成り立たないならそれは五角形でない fact21: この分析家達は聞き易い ; $hypothesis$ = 「そのジャンクション建設は洋酒でないけれどそれは暮れ泥む」ということは成り立たない ; $proof$ = 
fact12 & fact11 -> int1: この分析家達はラウンドするということはない; int1 & fact2 -> int2: この同音異義語は滞り易いかラウンドする; int2 & fact3 & fact13 -> int3: そのジャンクション建設は暮れ泥む; fact17 & fact16 -> int4: 「そのジャンクション建設は洋酒であるがしかしそれはイメージし易くない」ということは事実でない; fact7 -> int5: もしも「そのジャンクション建設は洋酒だがしかしイメージし易くない」ということは事実と異なるならそれは洋酒でない; int4 & int5 -> int6: そのジャンクション建設は洋酒でない; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物はラウンドするとすると「洋酒でないしさらに暮れ泥む」ということは成り立たない
事実2: この分析家達がラウンドしないとすればこの同音異義語は滞り易いかもしくはラウンドする
事実3: もしも「この同音異義語は滞り易い」ということは真実ならばそのジャンクション建設は暮れ泥む
事実4: もしもあの西部魂は聞き易いならば「この分析家達はラウンドしない」ということは確かである
事実5: もしもこの分析家達はイメージし易いとしたら「あの西部魂は滞り易い」ということは成り立つ
事実6: この分析家達が滞り易くないならばあの同音異義語はラウンドするかまたはそれは滞り易いかあるいは両方だ
事実7: 仮に「「何らかのものは洋酒だ一方でイメージし易くない」ということは真実である」ということは正しくないとしたらそれは洋酒であるということはない
事実8: 「この同音異義語は四千三百二十二弾であるが滞り易いということはない」ということは偽である
事実9: もしもあの西部魂が滞り易いとしたらそのジャンクション建設はラウンドする
事実10: もしこの分析家達が五角形でないとすればイメージし易くておまけに四千三百二十二弾だ
事実11: 「あの西部魂は聞き易くないが開示する」ということは間違っている
事実12: もしも「あの西部魂は聞き易くないけど開示する」ということは成り立つということはないとしたらこの分析家達はラウンドしない
事実13: 仮に「この同音異義語はラウンドする」ということは事実ならばそのジャンクション建設は暮れ泥む
事実14: あの西部魂は聞き易くない一方でそれは四千三百二十二弾だ
事実15: この分析家達はラウンドするかまたは聞き易い
事実16: 仮に「そのジャンクション建設は四千三百二十二弾である」ということは確かならば「それは洋酒であるがイメージし易くない」ということは成り立たない
事実17: そのジャンクション建設は四千三百二十二弾だ
事実18: 「「あの西部魂は聞き易いししかも開示する」ということは偽だ」ということは事実だ
事実19: あの西部魂は暮れ泥まない
事実20: 仮に「何らかの物は五角形であるが種苗だということはない」ということは成り立たないならそれは五角形でない
事実21: この分析家達は聞き易い

仮説: 「そのジャンクション建設は洋酒でないけれどそれは暮れ泥む」ということは成り立たない
1. 事実12と事実11から、推論1: "この分析家達はラウンドするということはない"が導かれる
2. 推論1と事実2から、推論2: "この同音異義語は滞り易いかラウンドする"が導かれる
3. 推論2と事実3と事実13から、推論3: "そのジャンクション建設は暮れ泥む"が導かれる
4. 事実17と事実16から、推論4: "「そのジャンクション建設は洋酒であるがしかしそれはイメージし易くない」ということは事実でない"が導かれる
5. 事実7から、推論5: "もしも「そのジャンクション建設は洋酒だがしかしイメージし易くない」ということは事実と異なるならそれは洋酒でない"が導かれる
6. 推論4と推論5から、推論6: "そのジャンクション建設は洋酒でない"が導かれる
7. 推論3と推論6から、仮説が否定される

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