あの市場開放は浴び始めない
fact1: このデッキ上はえぐくない fact2: その新都市開発は迷い易い fact3: もし「何らかの物は雨男だしさらに迷い易い」ということは成り立たないとすれば浴び始めない fact4: もしその新都市開発がえぐいとしたらこのデッキ上は業種業態である fact5: もし仮にとあるものが云々しないとしたら雨男でないし迷い易くない fact6: もしも「このデッキ上はえぐいかまたはそれは浴び始めないかもしくは両方だ」ということは成り立たないとすればあの新都市開発は浴び始める fact7: もしあの市場開放が迷い易くないとしたらそれは浴び始めない fact8: このＭ市は黄身酢である fact9: 「その新都市開発はえぐいしおまけに業種業態である」ということは成り立たない fact10: えぐい物は浴び始める fact11: もしもこのデッキ上が黄身酢であるしかつ業種業態であるとすればあの譲り受け等は雨男でない fact12: もし仮に「この譲り受け等は雨男でない」ということは偽でないとすれば「あの市場開放は雨男であるし加えて迷い易い」ということは成り立たない fact13: このデッキ上は黄身酢である fact14: 迷い易くない物は浴び始めるということはない fact15: もしその新都市開発が移り易いならばそれは云々しない fact16: もしも「その新都市開発は黄身酢でない」ということは真実であるなら「あの市場開放はえぐくてかつ業種業態だ」ということは偽でない fact17: このＢＡＳＥは雨男である fact18: もしとある物が雨男でないし迷い易くないとしたらそれは黄身酢でない fact19: その新都市開発はえぐい
fact4 & fact19 -> int1: このデッキ上は業種業態だ; int1 & fact13 -> int2: このデッキ上は黄身酢であるしおまけに業種業態である; int2 & fact11 -> int3: この譲り受け等は雨男でない; int3 & fact12 -> int4: 「あの市場開放は雨男であるしかつそれは迷い易い」ということは間違いである; fact3 -> int5: もしも「あの市場開放は雨男であるし更に迷い易い」ということは誤りだとしたら浴び始めない; int4 & int5 -> hypothesis;
あの市場開放は浴び始める
fact22 -> int6: もしあの市場開放がえぐいとすればそれは浴び始める; fact21 -> int7: もし仮にその新都市開発が雨男でなくて加えてそれが迷い易くないとすればそれは黄身酢でない; fact24 -> int8: もし仮に「その新都市開発は云々するということはない」ということは真実だとすれば雨男でないし迷い易いということはない;
$facts$ = fact1: このデッキ上はえぐくない fact2: その新都市開発は迷い易い fact3: もし「何らかの物は雨男だしさらに迷い易い」ということは成り立たないとすれば浴び始めない fact4: もしその新都市開発がえぐいとしたらこのデッキ上は業種業態である fact5: もし仮にとあるものが云々しないとしたら雨男でないし迷い易くない fact6: もしも「このデッキ上はえぐいかまたはそれは浴び始めないかもしくは両方だ」ということは成り立たないとすればあの新都市開発は浴び始める fact7: もしあの市場開放が迷い易くないとしたらそれは浴び始めない fact8: このＭ市は黄身酢である fact9: 「その新都市開発はえぐいしおまけに業種業態である」ということは成り立たない fact10: えぐい物は浴び始める fact11: もしもこのデッキ上が黄身酢であるしかつ業種業態であるとすればあの譲り受け等は雨男でない fact12: もし仮に「この譲り受け等は雨男でない」ということは偽でないとすれば「あの市場開放は雨男であるし加えて迷い易い」ということは成り立たない fact13: このデッキ上は黄身酢である fact14: 迷い易くない物は浴び始めるということはない fact15: もしその新都市開発が移り易いならばそれは云々しない fact16: もしも「その新都市開発は黄身酢でない」ということは真実であるなら「あの市場開放はえぐくてかつ業種業態だ」ということは偽でない fact17: このＢＡＳＥは雨男である fact18: もしとある物が雨男でないし迷い易くないとしたらそれは黄身酢でない fact19: その新都市開発はえぐい ; $hypothesis$ = あの市場開放は浴び始めない ; $proof$ = 
fact4 & fact19 -> int1: このデッキ上は業種業態だ; int1 & fact13 -> int2: このデッキ上は黄身酢であるしおまけに業種業態である; int2 & fact11 -> int3: この譲り受け等は雨男でない; int3 & fact12 -> int4: 「あの市場開放は雨男であるしかつそれは迷い易い」ということは間違いである; fact3 -> int5: もしも「あの市場開放は雨男であるし更に迷い易い」ということは誤りだとしたら浴び始めない; int4 & int5 -> hypothesis; __PROVED__
事実1: このデッキ上はえぐくない
事実2: その新都市開発は迷い易い
事実3: もし「何らかの物は雨男だしさらに迷い易い」ということは成り立たないとすれば浴び始めない
事実4: もしその新都市開発がえぐいとしたらこのデッキ上は業種業態である
事実5: もし仮にとあるものが云々しないとしたら雨男でないし迷い易くない
事実6: もしも「このデッキ上はえぐいかまたはそれは浴び始めないかもしくは両方だ」ということは成り立たないとすればあの新都市開発は浴び始める
事実7: もしあの市場開放が迷い易くないとしたらそれは浴び始めない
事実8: このＭ市は黄身酢である
事実9: 「その新都市開発はえぐいしおまけに業種業態である」ということは成り立たない
事実10: えぐい物は浴び始める
事実11: もしもこのデッキ上が黄身酢であるしかつ業種業態であるとすればあの譲り受け等は雨男でない
事実12: もし仮に「この譲り受け等は雨男でない」ということは偽でないとすれば「あの市場開放は雨男であるし加えて迷い易い」ということは成り立たない
事実13: このデッキ上は黄身酢である
事実14: 迷い易くない物は浴び始めるということはない
事実15: もしその新都市開発が移り易いならばそれは云々しない
事実16: もしも「その新都市開発は黄身酢でない」ということは真実であるなら「あの市場開放はえぐくてかつ業種業態だ」ということは偽でない
事実17: このＢＡＳＥは雨男である
事実18: もしとある物が雨男でないし迷い易くないとしたらそれは黄身酢でない
事実19: その新都市開発はえぐい

仮説: あの市場開放は浴び始めない
1. 事実4と事実19から、推論1: "このデッキ上は業種業態だ"が導かれる
2. 推論1と事実13から、推論2: "このデッキ上は黄身酢であるしおまけに業種業態である"が導かれる
3. 推論2と事実11から、推論3: "この譲り受け等は雨男でない"が導かれる
4. 推論3と事実12から、推論4: "「あの市場開放は雨男であるしかつそれは迷い易い」ということは間違いである"が導かれる
5. 事実3から、推論5: "もしも「あの市場開放は雨男であるし更に迷い易い」ということは誤りだとしたら浴び始めない"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。