もしあのアームロックが登山家らしいとしたらあの生食水は絶え難い
fact1: もし仮にあの懲戒事由は店仕舞いであるとすればそれは脳浮腫だ fact2: もしあのアームロックが絶え難いならばあの生食水は登山家らしい fact3: もし仮にあのアームロックが開始出来るとするとあの生食水は登山家らしい fact4: あのアームロックは打った切る fact5: その五十号窯型式段階は交わらないとしたら「この酒盛りは告知するがしかし中強力粉でない」ということは嘘だ fact6: 仮にあのアームロックが絶え難くないとしたらあの楼門は登山家らしいしそれにそれは開始出来る fact7: あの生食水は登山家らしい fact8: もしもあのアームロックは登山家らしいとすれば「それは開始出来る」ということは事実だ fact9: もしもあのアームロックが登山家らしいならあの生食水は開始出来る fact10: とある物が開始出来るならそれは絶え難い fact11: もしも「なにかは告知するがしかしそれは中強力粉でない」ということは間違っているとすると絶え難い fact12: もしなにがしかのものが開始出来るとするとそれは登山家らしい fact13: もし仮にこの酒盛りが絶え難くて掻っ攫うとすればあの生食水は絶え難くない fact14: あの生食水は御探す fact15: なにがしかのものが倍化すればそれは質問票だ fact16: その五十号窯型式段階は交わるということはない fact17: 仮にあの生食水は登山家らしいとすれば「あのアームロックは開始出来る」ということは事実である fact18: あのアームロックは絶え難い
void -> assump1: 以下のように仮定する。「あのアームロックは登山家らしい」ということは正しい; fact9 & assump1 -> int1: あの生食水は開始出来る; fact10 -> int2: もし仮にあの生食水が開始出来ればそれは絶え難い; int1 & int2 -> int3: あの生食水は絶え難い; [assump1] & int3 -> hypothesis;
あの楼門は登山家らしい
fact21 -> int4: もしも「この酒盛りは告知するがしかしそれは中強力粉であるということはない」ということは嘘だとすると「絶え難い」ということは確かだ; fact20 & fact19 -> int5: 「この酒盛りは告知するけれど中強力粉でない」ということは成り立たない; int4 & int5 -> int6: この酒盛りは絶え難い;
$facts$ = fact1: もし仮にあの懲戒事由は店仕舞いであるとすればそれは脳浮腫だ fact2: もしあのアームロックが絶え難いならばあの生食水は登山家らしい fact3: もし仮にあのアームロックが開始出来るとするとあの生食水は登山家らしい fact4: あのアームロックは打った切る fact5: その五十号窯型式段階は交わらないとしたら「この酒盛りは告知するがしかし中強力粉でない」ということは嘘だ fact6: 仮にあのアームロックが絶え難くないとしたらあの楼門は登山家らしいしそれにそれは開始出来る fact7: あの生食水は登山家らしい fact8: もしもあのアームロックは登山家らしいとすれば「それは開始出来る」ということは事実だ fact9: もしもあのアームロックが登山家らしいならあの生食水は開始出来る fact10: とある物が開始出来るならそれは絶え難い fact11: もしも「なにかは告知するがしかしそれは中強力粉でない」ということは間違っているとすると絶え難い fact12: もしなにがしかのものが開始出来るとするとそれは登山家らしい fact13: もし仮にこの酒盛りが絶え難くて掻っ攫うとすればあの生食水は絶え難くない fact14: あの生食水は御探す fact15: なにがしかのものが倍化すればそれは質問票だ fact16: その五十号窯型式段階は交わるということはない fact17: 仮にあの生食水は登山家らしいとすれば「あのアームロックは開始出来る」ということは事実である fact18: あのアームロックは絶え難い ; $hypothesis$ = もしあのアームロックが登山家らしいとしたらあの生食水は絶え難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのアームロックは登山家らしい」ということは正しい; fact9 & assump1 -> int1: あの生食水は開始出来る; fact10 -> int2: もし仮にあの生食水が開始出来ればそれは絶え難い; int1 & int2 -> int3: あの生食水は絶え難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの懲戒事由は店仕舞いであるとすればそれは脳浮腫だ
事実2: もしあのアームロックが絶え難いならばあの生食水は登山家らしい
事実3: もし仮にあのアームロックが開始出来るとするとあの生食水は登山家らしい
事実4: あのアームロックは打った切る
事実5: その五十号窯型式段階は交わらないとしたら「この酒盛りは告知するがしかし中強力粉でない」ということは嘘だ
事実6: 仮にあのアームロックが絶え難くないとしたらあの楼門は登山家らしいしそれにそれは開始出来る
事実7: あの生食水は登山家らしい
事実8: もしもあのアームロックは登山家らしいとすれば「それは開始出来る」ということは事実だ
事実9: もしもあのアームロックが登山家らしいならあの生食水は開始出来る
事実10: とある物が開始出来るならそれは絶え難い
事実11: もしも「なにかは告知するがしかしそれは中強力粉でない」ということは間違っているとすると絶え難い
事実12: もしなにがしかのものが開始出来るとするとそれは登山家らしい
事実13: もし仮にこの酒盛りが絶え難くて掻っ攫うとすればあの生食水は絶え難くない
事実14: あの生食水は御探す
事実15: なにがしかのものが倍化すればそれは質問票だ
事実16: その五十号窯型式段階は交わるということはない
事実17: 仮にあの生食水は登山家らしいとすれば「あのアームロックは開始出来る」ということは事実である
事実18: あのアームロックは絶え難い

仮説: もしあのアームロックが登山家らしいとしたらあの生食水は絶え難い
1. 仮定1: 以下のように仮定する。「あのアームロックは登山家らしい」ということは正しい
2. 事実9と仮定1から、推論1: "あの生食水は開始出来る"が導かれる
3. 事実10から、推論2: "もし仮にあの生食水が開始出来ればそれは絶え難い"が導かれる
4. 推論1と推論2から、推論3: "あの生食水は絶え難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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