「この自己選択は耐え抜く」ということは事実だ
fact1: 「あの解放後は粗いしおまけにポイントする」ということは成り立たない fact2: もし仮にあの早漏は生じ難くないとしたら「あの解放後は粗い一方でそれはポイントしない」ということは成り立たない fact3: もし仮にあの解放後が挑むしかつ耐え抜くとしたらそれはポイントする fact4: もし仮に何かは挑まないとするとそれは耐え抜くし加えて悪びれる fact5: もし仮にあの早漏は夏時間でないけれど絶え難いならばそれは悪びれる fact6: 仮に何かは悪びれるしかつそれが挑むなら生じ難くない fact7: 「この自己選択は生じ難くないけどがめつい」ということは事実でないなら悪びれない fact8: もしも「あの解放後は粗いけれどそれはポイントするということはない」ということは成り立たないならこの自己選択は耐え抜かない fact9: なんらかのものは挑むということはないならば「がめつかない」ということは真実である fact10: 仮にあの解放後が生じ難いとしたらがめつい fact11: もし仮にこの自己選択は悪びれないとすれば「あの解放後は挑むし加えて耐え抜く」ということは嘘である fact12: あの早漏はがめつい fact13: あの早漏は夏時間だということはない一方で絶え難い fact14: もしその代替奉仕サービスが粗くないけれどそれが絶え難いとするとあの毒ガスはポイントしない fact15: あの解放後が耐え抜くとすればこの自己選択は耐え抜く fact16: もしあの早漏は夏時間であるしさらに絶え難いならば「悪びれる」ということは成り立つ fact17: もしあの早漏はポイントしないならば「あの解放後は耐え抜くし挑む」ということは嘘だ fact18: もしあの早漏はポイントするし更にがめついなら悪びれない
fact9 -> int1: もし仮にあの早漏が挑まないとしたらがめつかない; void -> assump1: 以下のように仮定する。あの早漏は挑まない; int1 & assump1 -> int2: あの早漏はがめつかない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの早漏は挑む; fact13 & fact5 -> int5: あの早漏は悪びれる; int4 & int5 -> int6: あの早漏は悪びれるし挑む; fact6 -> int7: もしも「あの早漏は悪びれるし挑む」ということは真実なら生じ難くない; int6 & int7 -> int8: あの早漏は生じ難くない; int8 & fact2 -> int9: 「あの解放後は粗いけどポイントしない」ということは成り立つということはない; int9 & fact8 -> hypothesis;
この自己選択は耐え抜く
fact19 -> int10: もしあの解放後が挑まないとしたらそれは耐え抜くしまた悪びれる;
$facts$ = fact1: 「あの解放後は粗いしおまけにポイントする」ということは成り立たない fact2: もし仮にあの早漏は生じ難くないとしたら「あの解放後は粗い一方でそれはポイントしない」ということは成り立たない fact3: もし仮にあの解放後が挑むしかつ耐え抜くとしたらそれはポイントする fact4: もし仮に何かは挑まないとするとそれは耐え抜くし加えて悪びれる fact5: もし仮にあの早漏は夏時間でないけれど絶え難いならばそれは悪びれる fact6: 仮に何かは悪びれるしかつそれが挑むなら生じ難くない fact7: 「この自己選択は生じ難くないけどがめつい」ということは事実でないなら悪びれない fact8: もしも「あの解放後は粗いけれどそれはポイントするということはない」ということは成り立たないならこの自己選択は耐え抜かない fact9: なんらかのものは挑むということはないならば「がめつかない」ということは真実である fact10: 仮にあの解放後が生じ難いとしたらがめつい fact11: もし仮にこの自己選択は悪びれないとすれば「あの解放後は挑むし加えて耐え抜く」ということは嘘である fact12: あの早漏はがめつい fact13: あの早漏は夏時間だということはない一方で絶え難い fact14: もしその代替奉仕サービスが粗くないけれどそれが絶え難いとするとあの毒ガスはポイントしない fact15: あの解放後が耐え抜くとすればこの自己選択は耐え抜く fact16: もしあの早漏は夏時間であるしさらに絶え難いならば「悪びれる」ということは成り立つ fact17: もしあの早漏はポイントしないならば「あの解放後は耐え抜くし挑む」ということは嘘だ fact18: もしあの早漏はポイントするし更にがめついなら悪びれない ; $hypothesis$ = 「この自己選択は耐え抜く」ということは事実だ ; $proof$ = 
fact9 -> int1: もし仮にあの早漏が挑まないとしたらがめつかない; void -> assump1: 以下のように仮定する。あの早漏は挑まない; int1 & assump1 -> int2: あの早漏はがめつかない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの早漏は挑む; fact13 & fact5 -> int5: あの早漏は悪びれる; int4 & int5 -> int6: あの早漏は悪びれるし挑む; fact6 -> int7: もしも「あの早漏は悪びれるし挑む」ということは真実なら生じ難くない; int6 & int7 -> int8: あの早漏は生じ難くない; int8 & fact2 -> int9: 「あの解放後は粗いけどポイントしない」ということは成り立つということはない; int9 & fact8 -> hypothesis; __DISPROVED__
事実1: 「あの解放後は粗いしおまけにポイントする」ということは成り立たない
事実2: もし仮にあの早漏は生じ難くないとしたら「あの解放後は粗い一方でそれはポイントしない」ということは成り立たない
事実3: もし仮にあの解放後が挑むしかつ耐え抜くとしたらそれはポイントする
事実4: もし仮に何かは挑まないとするとそれは耐え抜くし加えて悪びれる
事実5: もし仮にあの早漏は夏時間でないけれど絶え難いならばそれは悪びれる
事実6: 仮に何かは悪びれるしかつそれが挑むなら生じ難くない
事実7: 「この自己選択は生じ難くないけどがめつい」ということは事実でないなら悪びれない
事実8: もしも「あの解放後は粗いけれどそれはポイントするということはない」ということは成り立たないならこの自己選択は耐え抜かない
事実9: なんらかのものは挑むということはないならば「がめつかない」ということは真実である
事実10: 仮にあの解放後が生じ難いとしたらがめつい
事実11: もし仮にこの自己選択は悪びれないとすれば「あの解放後は挑むし加えて耐え抜く」ということは嘘である
事実12: あの早漏はがめつい
事実13: あの早漏は夏時間だということはない一方で絶え難い
事実14: もしその代替奉仕サービスが粗くないけれどそれが絶え難いとするとあの毒ガスはポイントしない
事実15: あの解放後が耐え抜くとすればこの自己選択は耐え抜く
事実16: もしあの早漏は夏時間であるしさらに絶え難いならば「悪びれる」ということは成り立つ
事実17: もしあの早漏はポイントしないならば「あの解放後は耐え抜くし挑む」ということは嘘だ
事実18: もしあの早漏はポイントするし更にがめついなら悪びれない

仮説: 「この自己選択は耐え抜く」ということは事実だ
1. 事実9から、推論1: "もし仮にあの早漏が挑まないとしたらがめつかない"が導かれる
2. 仮定1: 以下のように仮定する。あの早漏は挑まない
3. 推論1と仮定1から、推論2: "あの早漏はがめつかない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの早漏は挑む"が導かれる
6. 事実13と事実5から、推論5: "あの早漏は悪びれる"が導かれる
7. 推論4と推論5から、推論6: "あの早漏は悪びれるし挑む"が導かれる
8. 事実6から、推論7: "もしも「あの早漏は悪びれるし挑む」ということは真実なら生じ難くない"が導かれる
9. 推論6と推論7から、推論8: "あの早漏は生じ難くない"が導かれる
10. 推論8と事実2から、推論9: "「あの解放後は粗いけどポイントしない」ということは成り立つということはない"が導かれる
11. 推論9と事実8から、仮説が否定される

よって、仮説が否定されました。