もしもその洗礼が物語世界であるとするとその第二日曜日は想像し難い
fact1: この長期取りは緩み易くない fact2: 仮に「なにかは緩み易いしまた限り無い」ということは成り立たないとすると物語世界でない fact3: 仮に「その洗礼は緩み易いし更に限り無い」ということは事実と異なるなら「それは物語世界だ」ということは事実である fact4: この長期取りは物語世界でない fact5: もしこの長期取りが微細化しないとすればこの島国は緩み易いということはない fact6: その配送処理は限り無い fact7: もし仮にこの長期取りは想像し難いということはないとしたら「あの印手式は限り無いし物語世界だ」ということは成り立つということはない fact8: 仮にその第二日曜日が限り無いとすればあの洗礼は想像し難い fact9: 「この長期取りは想像し難い」ということは正しいとすると「その第二日曜日は新訴える」ということは成り立つ fact10: もしもこの島国が物語世界であるけど微細化しないとすればこの長期取りは緩み易い fact11: 「その第二日曜日は限り無い」ということは真実だ fact12: もし仮にこの島国は緩み易くないとすると「その洗礼は緩み易いし限り無い」ということは成り立たない fact13: その洗礼は緩み易くないならば「物語世界でない」ということは真実である fact14: 「この長期取りは緩み易くておまけに艶めかしい」ということは間違っているとしたら緩み易くない fact15: 仮にこの長期取りが微細化するけど新訴えないならばその第二日曜日は想像し難い fact16: 仮に「その洗礼は新訴えるけれどそれは限り無いということはない」ということは間違っているならばあの長期取りは緩み易いということはない fact17: 「この長期取りは微細化する」ということは本当だ fact18: もし「何らかの物は緩み易いということはない」ということは確かであるならばそれは物語世界だということはない fact19: もしも「その洗礼は限り無くない」ということは正しいなら「その第二日曜日は限り無いし想像し難い」ということは成り立たない fact20: 「この長期取りは微細化するけれど新訴えるということはない」ということは誤っているとしたらこの島国は緩み易くない
void -> assump1: 以下のように仮定する。「この長期取りは微細化するが新訴えない」ということは間違っている; fact20 & assump1 -> int1: この島国は緩み易いということはない; int1 & fact12 -> int2: 「その洗礼は緩み易いし加えて限り無い」ということは誤りである; fact2 -> int3: もし仮に「その洗礼は緩み易いししかも限り無い」ということは間違いならそれは物語世界だということはない; int2 & int3 -> int4: その洗礼は物語世界でない; void -> assump2: 以下のように仮定する。その洗礼は物語世界である; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この長期取りは微細化するがしかし新訴えない; int6 & fact15 -> int7: その第二日曜日は想像し難い; [assump2] & int7 -> hypothesis;
あの脱却は想像し難い
$facts$ = fact1: この長期取りは緩み易くない fact2: 仮に「なにかは緩み易いしまた限り無い」ということは成り立たないとすると物語世界でない fact3: 仮に「その洗礼は緩み易いし更に限り無い」ということは事実と異なるなら「それは物語世界だ」ということは事実である fact4: この長期取りは物語世界でない fact5: もしこの長期取りが微細化しないとすればこの島国は緩み易いということはない fact6: その配送処理は限り無い fact7: もし仮にこの長期取りは想像し難いということはないとしたら「あの印手式は限り無いし物語世界だ」ということは成り立つということはない fact8: 仮にその第二日曜日が限り無いとすればあの洗礼は想像し難い fact9: 「この長期取りは想像し難い」ということは正しいとすると「その第二日曜日は新訴える」ということは成り立つ fact10: もしもこの島国が物語世界であるけど微細化しないとすればこの長期取りは緩み易い fact11: 「その第二日曜日は限り無い」ということは真実だ fact12: もし仮にこの島国は緩み易くないとすると「その洗礼は緩み易いし限り無い」ということは成り立たない fact13: その洗礼は緩み易くないならば「物語世界でない」ということは真実である fact14: 「この長期取りは緩み易くておまけに艶めかしい」ということは間違っているとしたら緩み易くない fact15: 仮にこの長期取りが微細化するけど新訴えないならばその第二日曜日は想像し難い fact16: 仮に「その洗礼は新訴えるけれどそれは限り無いということはない」ということは間違っているならばあの長期取りは緩み易いということはない fact17: 「この長期取りは微細化する」ということは本当だ fact18: もし「何らかの物は緩み易いということはない」ということは確かであるならばそれは物語世界だということはない fact19: もしも「その洗礼は限り無くない」ということは正しいなら「その第二日曜日は限り無いし想像し難い」ということは成り立たない fact20: 「この長期取りは微細化するけれど新訴えるということはない」ということは誤っているとしたらこの島国は緩み易くない ; $hypothesis$ = もしもその洗礼が物語世界であるとするとその第二日曜日は想像し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この長期取りは微細化するが新訴えない」ということは間違っている; fact20 & assump1 -> int1: この島国は緩み易いということはない; int1 & fact12 -> int2: 「その洗礼は緩み易いし加えて限り無い」ということは誤りである; fact2 -> int3: もし仮に「その洗礼は緩み易いししかも限り無い」ということは間違いならそれは物語世界だということはない; int2 & int3 -> int4: その洗礼は物語世界でない; void -> assump2: 以下のように仮定する。その洗礼は物語世界である; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この長期取りは微細化するがしかし新訴えない; int6 & fact15 -> int7: その第二日曜日は想像し難い; [assump2] & int7 -> hypothesis; __PROVED__
事実1: この長期取りは緩み易くない
事実2: 仮に「なにかは緩み易いしまた限り無い」ということは成り立たないとすると物語世界でない
事実3: 仮に「その洗礼は緩み易いし更に限り無い」ということは事実と異なるなら「それは物語世界だ」ということは事実である
事実4: この長期取りは物語世界でない
事実5: もしこの長期取りが微細化しないとすればこの島国は緩み易いということはない
事実6: その配送処理は限り無い
事実7: もし仮にこの長期取りは想像し難いということはないとしたら「あの印手式は限り無いし物語世界だ」ということは成り立つということはない
事実8: 仮にその第二日曜日が限り無いとすればあの洗礼は想像し難い
事実9: 「この長期取りは想像し難い」ということは正しいとすると「その第二日曜日は新訴える」ということは成り立つ
事実10: もしもこの島国が物語世界であるけど微細化しないとすればこの長期取りは緩み易い
事実11: 「その第二日曜日は限り無い」ということは真実だ
事実12: もし仮にこの島国は緩み易くないとすると「その洗礼は緩み易いし限り無い」ということは成り立たない
事実13: その洗礼は緩み易くないならば「物語世界でない」ということは真実である
事実14: 「この長期取りは緩み易くておまけに艶めかしい」ということは間違っているとしたら緩み易くない
事実15: 仮にこの長期取りが微細化するけど新訴えないならばその第二日曜日は想像し難い
事実16: 仮に「その洗礼は新訴えるけれどそれは限り無いということはない」ということは間違っているならばあの長期取りは緩み易いということはない
事実17: 「この長期取りは微細化する」ということは本当だ
事実18: もし「何らかの物は緩み易いということはない」ということは確かであるならばそれは物語世界だということはない
事実19: もしも「その洗礼は限り無くない」ということは正しいなら「その第二日曜日は限り無いし想像し難い」ということは成り立たない
事実20: 「この長期取りは微細化するけれど新訴えるということはない」ということは誤っているとしたらこの島国は緩み易くない

仮説: もしもその洗礼が物語世界であるとするとその第二日曜日は想像し難い
1. 仮定1: 以下のように仮定する。「この長期取りは微細化するが新訴えない」ということは間違っている
2. 事実20と仮定1から、推論1: "この島国は緩み易いということはない"が導かれる
3. 推論1と事実12から、推論2: "「その洗礼は緩み易いし加えて限り無い」ということは誤りである"が導かれる
4. 事実2から、推論3: "もし仮に「その洗礼は緩み易いししかも限り無い」ということは間違いならそれは物語世界だということはない"が導かれる
5. 推論2と推論3から、推論4: "その洗礼は物語世界でない"が導かれる
6. 仮定2: 以下のように仮定する。その洗礼は物語世界である
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "この長期取りは微細化するがしかし新訴えない"が導かれる
9. 推論6と事実15から、推論7: "その第二日曜日は想像し難い"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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