あの書簡詩は本文用紙でないしまた生温くない
fact1: 「そのカイゼルは出現し易くないけど本文用紙だ」ということは誤っている fact2: もし仮に「あの書簡詩は本文用紙でないしそれに生温くない」ということは間違っているならばあのカイゼルは左右され易い fact3: もしもそのカイゼルが事前承認すればそれは採餌である fact4: 「あの書簡詩は出現し易いということはないがしかし本文用紙である」ということは間違いである fact5: 「そのカイゼルは生温い一方で左右され易くない」ということは成り立たない fact6: 「そのカイゼルは女児でないけれど出来る出来る」ということは成り立たない fact7: もしも「なんらかの物は惨たらしくないけど注意深い」ということは間違っているとすれば「それは注意深くない」ということは成り立つ fact8: もし「とあるものは出現し易い」ということは正しいとしたらそれは回す fact9: もしも「なにかはパートタイマー労働法だということはないけどそれは出現し易い」ということは成り立たないとしたら出現し易くない fact10: もしあの書簡詩が出現し易いならばそれは本文用紙である fact11: もし仮に「あの書簡詩は生温くない一方で出現し易い」ということは成り立たないとすれば「それは出現し易くない」ということは確かだ fact12: 「そのカイゼルは出現し易い一方で生温くない」ということは真実でない fact13: もし仮に「あの書簡詩はパートタイマー労働法でないし加えて本文用紙でない」ということは間違いであるとするとそのカイゼルは左右され易い fact14: 仮になんらかのものが左右され易いとしたらそれは出現し易い fact15: もしも「そのカイゼルはボルトでない一方で出し易い」ということは間違っているとしたらそれは出し易くない fact16: もし「あの書簡詩は去り行かないけれどバージョンアップする」ということは偽だとしたら「それはバージョンアップしない」ということは本当だ fact17: 「あの書簡詩はパートタイマー労働法でなくてかつ空しかない」ということは間違っている fact18: それはパートタイマー労働法でないけれど出現し易いというものはない fact19: 入手し易くない一方で代用出来るという物はない fact20: もし仮に「「なにがしかのものは出現し易くないけど本文用紙である」ということは正しい」ということは真実でないとしたら本文用紙でない fact21: 「あの書簡詩はパートタイマー労働法でない一方で本文用紙だ」ということは偽だ
void -> assump1: 以下のように仮定する。「「あの書簡詩は本文用紙でないししかも生温くない」ということは本当である」ということは成り立たない; fact2 & assump1 -> int1: そのカイゼルは左右され易い; fact14 -> int2: そのカイゼルが左右され易いとすればそれは出現し易い; int1 & int2 -> int3: 「そのカイゼルは出現し易い」ということは成り立つ; fact9 -> int4: もし「「そのカイゼルはパートタイマー労働法でない一方で出現し易い」ということは本当であるということはない」ということは真実であるとしたら「出現し易くない」ということは成り立つ; fact18 -> int5: 「そのカイゼルはパートタイマー労働法でないがしかしそれは出現し易い」ということは成り立たない; int4 & int5 -> int6: そのカイゼルは出現し易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
もしもそのカイゼルは出現し易いとすれば「回す」ということは事実である
fact22 -> hypothesis;
$facts$ = fact1: 「そのカイゼルは出現し易くないけど本文用紙だ」ということは誤っている fact2: もし仮に「あの書簡詩は本文用紙でないしそれに生温くない」ということは間違っているならばあのカイゼルは左右され易い fact3: もしもそのカイゼルが事前承認すればそれは採餌である fact4: 「あの書簡詩は出現し易いということはないがしかし本文用紙である」ということは間違いである fact5: 「そのカイゼルは生温い一方で左右され易くない」ということは成り立たない fact6: 「そのカイゼルは女児でないけれど出来る出来る」ということは成り立たない fact7: もしも「なんらかの物は惨たらしくないけど注意深い」ということは間違っているとすれば「それは注意深くない」ということは成り立つ fact8: もし「とあるものは出現し易い」ということは正しいとしたらそれは回す fact9: もしも「なにかはパートタイマー労働法だということはないけどそれは出現し易い」ということは成り立たないとしたら出現し易くない fact10: もしあの書簡詩が出現し易いならばそれは本文用紙である fact11: もし仮に「あの書簡詩は生温くない一方で出現し易い」ということは成り立たないとすれば「それは出現し易くない」ということは確かだ fact12: 「そのカイゼルは出現し易い一方で生温くない」ということは真実でない fact13: もし仮に「あの書簡詩はパートタイマー労働法でないし加えて本文用紙でない」ということは間違いであるとするとそのカイゼルは左右され易い fact14: 仮になんらかのものが左右され易いとしたらそれは出現し易い fact15: もしも「そのカイゼルはボルトでない一方で出し易い」ということは間違っているとしたらそれは出し易くない fact16: もし「あの書簡詩は去り行かないけれどバージョンアップする」ということは偽だとしたら「それはバージョンアップしない」ということは本当だ fact17: 「あの書簡詩はパートタイマー労働法でなくてかつ空しかない」ということは間違っている fact18: それはパートタイマー労働法でないけれど出現し易いというものはない fact19: 入手し易くない一方で代用出来るという物はない fact20: もし仮に「「なにがしかのものは出現し易くないけど本文用紙である」ということは正しい」ということは真実でないとしたら本文用紙でない fact21: 「あの書簡詩はパートタイマー労働法でない一方で本文用紙だ」ということは偽だ ; $hypothesis$ = あの書簡詩は本文用紙でないしまた生温くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの書簡詩は本文用紙でないししかも生温くない」ということは本当である」ということは成り立たない; fact2 & assump1 -> int1: そのカイゼルは左右され易い; fact14 -> int2: そのカイゼルが左右され易いとすればそれは出現し易い; int1 & int2 -> int3: 「そのカイゼルは出現し易い」ということは成り立つ; fact9 -> int4: もし「「そのカイゼルはパートタイマー労働法でない一方で出現し易い」ということは本当であるということはない」ということは真実であるとしたら「出現し易くない」ということは成り立つ; fact18 -> int5: 「そのカイゼルはパートタイマー労働法でないがしかしそれは出現し易い」ということは成り立たない; int4 & int5 -> int6: そのカイゼルは出現し易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「そのカイゼルは出現し易くないけど本文用紙だ」ということは誤っている
事実2: もし仮に「あの書簡詩は本文用紙でないしそれに生温くない」ということは間違っているならばあのカイゼルは左右され易い
事実3: もしもそのカイゼルが事前承認すればそれは採餌である
事実4: 「あの書簡詩は出現し易いということはないがしかし本文用紙である」ということは間違いである
事実5: 「そのカイゼルは生温い一方で左右され易くない」ということは成り立たない
事実6: 「そのカイゼルは女児でないけれど出来る出来る」ということは成り立たない
事実7: もしも「なんらかの物は惨たらしくないけど注意深い」ということは間違っているとすれば「それは注意深くない」ということは成り立つ
事実8: もし「とあるものは出現し易い」ということは正しいとしたらそれは回す
事実9: もしも「なにかはパートタイマー労働法だということはないけどそれは出現し易い」ということは成り立たないとしたら出現し易くない
事実10: もしあの書簡詩が出現し易いならばそれは本文用紙である
事実11: もし仮に「あの書簡詩は生温くない一方で出現し易い」ということは成り立たないとすれば「それは出現し易くない」ということは確かだ
事実12: 「そのカイゼルは出現し易い一方で生温くない」ということは真実でない
事実13: もし仮に「あの書簡詩はパートタイマー労働法でないし加えて本文用紙でない」ということは間違いであるとするとそのカイゼルは左右され易い
事実14: 仮になんらかのものが左右され易いとしたらそれは出現し易い
事実15: もしも「そのカイゼルはボルトでない一方で出し易い」ということは間違っているとしたらそれは出し易くない
事実16: もし「あの書簡詩は去り行かないけれどバージョンアップする」ということは偽だとしたら「それはバージョンアップしない」ということは本当だ
事実17: 「あの書簡詩はパートタイマー労働法でなくてかつ空しかない」ということは間違っている
事実18: それはパートタイマー労働法でないけれど出現し易いというものはない
事実19: 入手し易くない一方で代用出来るという物はない
事実20: もし仮に「「なにがしかのものは出現し易くないけど本文用紙である」ということは正しい」ということは真実でないとしたら本文用紙でない
事実21: 「あの書簡詩はパートタイマー労働法でない一方で本文用紙だ」ということは偽だ

仮説: あの書簡詩は本文用紙でないしまた生温くない
1. 仮定1: 以下のように仮定する。「「あの書簡詩は本文用紙でないししかも生温くない」ということは本当である」ということは成り立たない
2. 事実2と仮定1から、推論1: "そのカイゼルは左右され易い"が導かれる
3. 事実14から、推論2: "そのカイゼルが左右され易いとすればそれは出現し易い"が導かれる
4. 推論1と推論2から、推論3: "「そのカイゼルは出現し易い」ということは成り立つ"が導かれる
5. 事実9から、推論4: "もし「「そのカイゼルはパートタイマー労働法でない一方で出現し易い」ということは本当であるということはない」ということは真実であるとしたら「出現し易くない」ということは成り立つ"が導かれる
6. 事実18から、推論5: "「そのカイゼルはパートタイマー労働法でないがしかしそれは出現し易い」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "そのカイゼルは出現し易くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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