「「行き易くないし辛抱強くない」ということは成り立たない」ものはある
fact1: もしもあの報告書は三女であるならそれは聞き直す fact2: 仮にそのハープは見過ごし難くないとすれば「秘書検定だということはないしさらにそれは聞き直さない」ということは誤りだ fact3: このミラー粒子は詩論である fact4: もし仮にあのポリエステルはＳ水であるなら「それは気忙しい」ということは真実だ fact5: 「あの報告書は行き易いが辛抱強くない」ということは成り立たない fact6: あのポリエステルは行き易いということはないしまた辛抱強くない fact7: あの報告書はけたたましい fact8: もしあの報告書が詩論だし加えて聞き直すとすればあのポリエステルは欽定でない fact9: 大火は気恥ずかしいけど万年青でない fact10: 「あの報告書は行き易いということはないけど辛抱強い」ということは嘘である fact11: もしあの報告書が執り行なうとしたら気恥ずかしくない fact12: 「行き易くなくてまた辛抱強くない」物はある fact13: もしもあの報告書は執り行なわないとすれば「それは行き易いない一方で辛抱強い」ということは真実でない fact14: 「あの報告書は暗所でないしさらに借り易くない」ということは成り立たない fact15: あの報告書は三女である fact16: 「「行き易いししかも辛抱強くない」ということは事実と異なる」物はある fact17: 「「行き易いということはないけど辛抱強い」ということは成り立たない」ものはある fact18: この丁子は聞き直す fact19: あのポリエステルは欽定である fact20: もし仮にあるものは執り行なわないとすると「それは行き易いが辛抱強くない」ということは事実と異なる fact21: あの報告書は気恥ずかしくない fact22: もし仮になにがしかのものは執り行なわないならば「それは行き易いなくてそれにそれは辛抱強いということはない」ということは間違っている fact23: もしあの報告書が執り行なえば詩論であるしおまけに気恥ずかしくない fact24: もし仮にあの報告書は執り行なわないとしたら「それは行き易いがしかし辛抱強くない」ということは成り立たない fact25: 仮になんらかの物は執り行なわないとしたら「それは行き易いない一方で辛抱強い」ということは間違いである
void -> assump1: 以下のように仮定する。あの報告書は執り行なう; fact23 & assump1 -> int1: あの報告書は詩論であるがしかし気恥ずかしくない; int1 -> int2: あの報告書は詩論である; fact1 & fact15 -> int3: 「あの報告書は聞き直す」ということは正しい; int2 & int3 -> int4: 「あの報告書は詩論で更に聞き直す」ということは真実だ; int4 & fact8 -> int5: あのポリエステルは欽定でない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの報告書は執り行なうということはない; fact22 -> int8: あの報告書は執り行なわないとすると「それは行き易いなくてしかも辛抱強いということはない」ということは間違いである; int7 & int8 -> int9: 「あの報告書は行き易くないし加えて辛抱強いということはない」ということは誤っている; int9 -> hypothesis;
もしそのＵＮは大火であるとすれば気恥ずかしいがしかし万年青でない
fact26 -> hypothesis;
$facts$ = fact1: もしもあの報告書は三女であるならそれは聞き直す fact2: 仮にそのハープは見過ごし難くないとすれば「秘書検定だということはないしさらにそれは聞き直さない」ということは誤りだ fact3: このミラー粒子は詩論である fact4: もし仮にあのポリエステルはＳ水であるなら「それは気忙しい」ということは真実だ fact5: 「あの報告書は行き易いが辛抱強くない」ということは成り立たない fact6: あのポリエステルは行き易いということはないしまた辛抱強くない fact7: あの報告書はけたたましい fact8: もしあの報告書が詩論だし加えて聞き直すとすればあのポリエステルは欽定でない fact9: 大火は気恥ずかしいけど万年青でない fact10: 「あの報告書は行き易いということはないけど辛抱強い」ということは嘘である fact11: もしあの報告書が執り行なうとしたら気恥ずかしくない fact12: 「行き易くなくてまた辛抱強くない」物はある fact13: もしもあの報告書は執り行なわないとすれば「それは行き易いない一方で辛抱強い」ということは真実でない fact14: 「あの報告書は暗所でないしさらに借り易くない」ということは成り立たない fact15: あの報告書は三女である fact16: 「「行き易いししかも辛抱強くない」ということは事実と異なる」物はある fact17: 「「行き易いということはないけど辛抱強い」ということは成り立たない」ものはある fact18: この丁子は聞き直す fact19: あのポリエステルは欽定である fact20: もし仮にあるものは執り行なわないとすると「それは行き易いが辛抱強くない」ということは事実と異なる fact21: あの報告書は気恥ずかしくない fact22: もし仮になにがしかのものは執り行なわないならば「それは行き易いなくてそれにそれは辛抱強いということはない」ということは間違っている fact23: もしあの報告書が執り行なえば詩論であるしおまけに気恥ずかしくない fact24: もし仮にあの報告書は執り行なわないとしたら「それは行き易いがしかし辛抱強くない」ということは成り立たない fact25: 仮になんらかの物は執り行なわないとしたら「それは行き易いない一方で辛抱強い」ということは間違いである ; $hypothesis$ = 「「行き易くないし辛抱強くない」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの報告書は執り行なう; fact23 & assump1 -> int1: あの報告書は詩論であるがしかし気恥ずかしくない; int1 -> int2: あの報告書は詩論である; fact1 & fact15 -> int3: 「あの報告書は聞き直す」ということは正しい; int2 & int3 -> int4: 「あの報告書は詩論で更に聞き直す」ということは真実だ; int4 & fact8 -> int5: あのポリエステルは欽定でない; int5 & fact19 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの報告書は執り行なうということはない; fact22 -> int8: あの報告書は執り行なわないとすると「それは行き易いなくてしかも辛抱強いということはない」ということは間違いである; int7 & int8 -> int9: 「あの報告書は行き易くないし加えて辛抱強いということはない」ということは誤っている; int9 -> hypothesis; __PROVED__
事実1: もしもあの報告書は三女であるならそれは聞き直す
事実2: 仮にそのハープは見過ごし難くないとすれば「秘書検定だということはないしさらにそれは聞き直さない」ということは誤りだ
事実3: このミラー粒子は詩論である
事実4: もし仮にあのポリエステルはＳ水であるなら「それは気忙しい」ということは真実だ
事実5: 「あの報告書は行き易いが辛抱強くない」ということは成り立たない
事実6: あのポリエステルは行き易いということはないしまた辛抱強くない
事実7: あの報告書はけたたましい
事実8: もしあの報告書が詩論だし加えて聞き直すとすればあのポリエステルは欽定でない
事実9: 大火は気恥ずかしいけど万年青でない
事実10: 「あの報告書は行き易いということはないけど辛抱強い」ということは嘘である
事実11: もしあの報告書が執り行なうとしたら気恥ずかしくない
事実12: 「行き易くなくてまた辛抱強くない」物はある
事実13: もしもあの報告書は執り行なわないとすれば「それは行き易いない一方で辛抱強い」ということは真実でない
事実14: 「あの報告書は暗所でないしさらに借り易くない」ということは成り立たない
事実15: あの報告書は三女である
事実16: 「「行き易いししかも辛抱強くない」ということは事実と異なる」物はある
事実17: 「「行き易いということはないけど辛抱強い」ということは成り立たない」ものはある
事実18: この丁子は聞き直す
事実19: あのポリエステルは欽定である
事実20: もし仮にあるものは執り行なわないとすると「それは行き易いが辛抱強くない」ということは事実と異なる
事実21: あの報告書は気恥ずかしくない
事実22: もし仮になにがしかのものは執り行なわないならば「それは行き易いなくてそれにそれは辛抱強いということはない」ということは間違っている
事実23: もしあの報告書が執り行なえば詩論であるしおまけに気恥ずかしくない
事実24: もし仮にあの報告書は執り行なわないとしたら「それは行き易いがしかし辛抱強くない」ということは成り立たない
事実25: 仮になんらかの物は執り行なわないとしたら「それは行き易いない一方で辛抱強い」ということは間違いである

仮説: 「「行き易くないし辛抱強くない」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。あの報告書は執り行なう
2. 事実23と仮定1から、推論1: "あの報告書は詩論であるがしかし気恥ずかしくない"が導かれる
3. 推論1から、推論2: "あの報告書は詩論である"が導かれる
4. 事実1と事実15から、推論3: "「あの報告書は聞き直す」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "「あの報告書は詩論で更に聞き直す」ということは真実だ"が導かれる
6. 推論4と事実8から、推論5: "あのポリエステルは欽定でない"が導かれる
7. 推論5と事実19から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの報告書は執り行なうということはない"が導かれる
9. 事実22から、推論8: "あの報告書は執り行なわないとすると「それは行き易いなくてしかも辛抱強いということはない」ということは間違いである"が導かれる
10. 推論7と推論8から、推論9: "「あの報告書は行き易くないし加えて辛抱強いということはない」ということは誤っている"が導かれる
11. 推論9から、仮説が導かれる

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