「あの爪白癬は冷え易くないがとばっちりだ」ということは事実でない
fact1: この素潜り前は有り難い fact2: もし仮にこの段階性は失礼致すし組成するとしたら「あの一途さは冷え易いということはない」ということは成り立つ fact3: この素潜り前は凱旋だし加えて有り難い fact4: もしもこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易くてとばっちりである」ということは誤りである fact5: 仮にあの一途さが冷え易くないとするとこの素潜り前は揺るぎなくてかつとばっちりだ fact6: 「あの爪白癬は冷え易いしまたとばっちりである」ということは成り立たない fact7: 「凱旋は焼き難い」ということは成り立つ fact8: もし仮にある物は特許事務だとすれば「あの初期エンドソームは特許事務でないけどそれは有り難い」ということは成り立たない fact9: もし仮にこの素潜り前が焼き難いならあの一途さは撃沈する fact10: もしある物は揺るぎないなら「それは撃沈する」ということは成り立つ fact11: もしもなにがしかの物は撃沈するとしたら「凱旋だということはなくてかつそれは焼き難い」ということは嘘である fact12: 仮に「とある物は凱旋でない一方で焼き難い」ということは成り立つということはないならば特許事務である fact13: もしもこの素潜り前が撃沈するとするとあの一途さは凱旋だ fact14: もしも「揺るぎないかもしくは撃沈するかもしくは両方ともな」ものがあるとするとこの段階性はとばっちりでない fact15: 仮にこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易いということはないけどとばっちりだ」ということは誤っている
fact3 -> int1: この素潜り前は凱旋である; fact7 -> int2: この素潜り前が凱旋なら焼き難い; int1 & int2 -> int3: この素潜り前は焼き難い; int3 & fact9 -> int4: あの一途さは撃沈する; int4 -> int5: あの一途さは揺るぎないかあるいは撃沈するか両方だ; int5 -> int6: 「揺るぎないか撃沈するかまたはどちらもである」ものはある; int6 & fact14 -> int7: この段階性はとばっちりでない; int7 & fact15 -> hypothesis;
「あの初期エンドソームは特許事務でない一方で有り難い」ということは間違いである
fact17 -> int8: もしも「この素潜り前は凱旋でないけれど焼き難い」ということは成り立つということはないなら特許事務だ; fact19 -> int9: もしこの素潜り前は撃沈するとしたら「それは凱旋でないけれど焼き難い」ということは本当でない; fact20 -> int10: もし仮にこの素潜り前は揺るぎないとしたら「それは撃沈する」ということは真実だ;
$facts$ = fact1: この素潜り前は有り難い fact2: もし仮にこの段階性は失礼致すし組成するとしたら「あの一途さは冷え易いということはない」ということは成り立つ fact3: この素潜り前は凱旋だし加えて有り難い fact4: もしもこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易くてとばっちりである」ということは誤りである fact5: 仮にあの一途さが冷え易くないとするとこの素潜り前は揺るぎなくてかつとばっちりだ fact6: 「あの爪白癬は冷え易いしまたとばっちりである」ということは成り立たない fact7: 「凱旋は焼き難い」ということは成り立つ fact8: もし仮にある物は特許事務だとすれば「あの初期エンドソームは特許事務でないけどそれは有り難い」ということは成り立たない fact9: もし仮にこの素潜り前が焼き難いならあの一途さは撃沈する fact10: もしある物は揺るぎないなら「それは撃沈する」ということは成り立つ fact11: もしもなにがしかの物は撃沈するとしたら「凱旋だということはなくてかつそれは焼き難い」ということは嘘である fact12: 仮に「とある物は凱旋でない一方で焼き難い」ということは成り立つということはないならば特許事務である fact13: もしもこの素潜り前が撃沈するとするとあの一途さは凱旋だ fact14: もしも「揺るぎないかもしくは撃沈するかもしくは両方ともな」ものがあるとするとこの段階性はとばっちりでない fact15: 仮にこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易いということはないけどとばっちりだ」ということは誤っている ; $hypothesis$ = 「あの爪白癬は冷え易くないがとばっちりだ」ということは事実でない ; $proof$ = 
fact3 -> int1: この素潜り前は凱旋である; fact7 -> int2: この素潜り前が凱旋なら焼き難い; int1 & int2 -> int3: この素潜り前は焼き難い; int3 & fact9 -> int4: あの一途さは撃沈する; int4 -> int5: あの一途さは揺るぎないかあるいは撃沈するか両方だ; int5 -> int6: 「揺るぎないか撃沈するかまたはどちらもである」ものはある; int6 & fact14 -> int7: この段階性はとばっちりでない; int7 & fact15 -> hypothesis; __PROVED__
事実1: この素潜り前は有り難い
事実2: もし仮にこの段階性は失礼致すし組成するとしたら「あの一途さは冷え易いということはない」ということは成り立つ
事実3: この素潜り前は凱旋だし加えて有り難い
事実4: もしもこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易くてとばっちりである」ということは誤りである
事実5: 仮にあの一途さが冷え易くないとするとこの素潜り前は揺るぎなくてかつとばっちりだ
事実6: 「あの爪白癬は冷え易いしまたとばっちりである」ということは成り立たない
事実7: 「凱旋は焼き難い」ということは成り立つ
事実8: もし仮にある物は特許事務だとすれば「あの初期エンドソームは特許事務でないけどそれは有り難い」ということは成り立たない
事実9: もし仮にこの素潜り前が焼き難いならあの一途さは撃沈する
事実10: もしある物は揺るぎないなら「それは撃沈する」ということは成り立つ
事実11: もしもなにがしかの物は撃沈するとしたら「凱旋だということはなくてかつそれは焼き難い」ということは嘘である
事実12: 仮に「とある物は凱旋でない一方で焼き難い」ということは成り立つということはないならば特許事務である
事実13: もしもこの素潜り前が撃沈するとするとあの一途さは凱旋だ
事実14: もしも「揺るぎないかもしくは撃沈するかもしくは両方ともな」ものがあるとするとこの段階性はとばっちりでない
事実15: 仮にこの段階性はとばっちりでないとしたら「あの爪白癬は冷え易いということはないけどとばっちりだ」ということは誤っている

仮説: 「あの爪白癬は冷え易くないがとばっちりだ」ということは事実でない
1. 事実3から、推論1: "この素潜り前は凱旋である"が導かれる
2. 事実7から、推論2: "この素潜り前が凱旋なら焼き難い"が導かれる
3. 推論1と推論2から、推論3: "この素潜り前は焼き難い"が導かれる
4. 推論3と事実9から、推論4: "あの一途さは撃沈する"が導かれる
5. 推論4から、推論5: "あの一途さは揺るぎないかあるいは撃沈するか両方だ"が導かれる
6. 推論5から、推論6: "「揺るぎないか撃沈するかまたはどちらもである」ものはある"が導かれる
7. 推論6と事実14から、推論7: "この段階性はとばっちりでない"が導かれる
8. 推論7と事実15から、仮説が導かれる

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