「この退職願いは飲み終えるしおまけにそれは御分かり頂ける」ということは間違いである
fact1: それは逼塞しなくて飲み終えるという物はない fact2: もし「一休みしない」ものはあるとすれば「この退職願いは近寄り難いしその上一休みする」ということは誤っている fact3: もしも何かは悪者扱いしないとしたら「それはいとおしくなくて更に進め易くない」ということは間違っている fact4: 仮に「「御分かり頂けないけど浮き易い」ということは真実でない」物があるとするとそのＮＳＡは一休みしない fact5: もしそのＮＳＡが近寄り難いとしたらあの女王様は浮き易くなくて一休みしない fact6: 仮にあの女王様は飲み終えないとしたら「それは御分かり頂けるということはないけれど浮き易い」ということは誤りである fact7: この退職願いは浮き易くないなら「飲み終える一方で一休みしない」ということは事実である fact8: そのＮＳＡが一休みするとすれば悪者扱いする fact9: あの女王様は一休みしない fact10: 「あの女王様は浮き易いということはなくてそれに一休みしない」ということは正しくない fact11: もし仮に「あの女王様は逼塞しないが飲み終える」ということは成り立たないとすればそれは飲み終えない fact12: もしそのＮＳＡが近寄り難いならばあの女王様は一休みするということはない fact13: もしもそのＮＳＡは悪者扱いするとしたら「それは近寄り難い」ということは事実である fact14: 「あの女王様は浮き易くない一方で一休みする」ということは正しくない fact15: そのＮＳＡは悪者扱いするということはないとしたら「この退職願いは飲み終えるしさらに御分かり頂ける」ということは誤っている
void -> assump1: 以下のように仮定する。そのＮＳＡは悪者扱いする; fact13 & assump1 -> int1: そのＮＳＡは近寄り難い; int1 & fact5 -> int2: あの女王様は浮き易くないしさらに一休みしない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＮＳＡは悪者扱いしない; int4 & fact15 -> hypothesis;
「この退職願いはいとおしくないし進め易くない」ということは真実だということはない
fact17 -> int5: もしもこの退職願いは悪者扱いしないとしたら「いとおしくなくておまけに進め易いということはない」ということは成り立たない; fact20 -> int6: 「あの女王様は逼塞しないけれど飲み終える」ということは成り立たない; fact18 & int6 -> int7: あの女王様は飲み終えない; fact16 & int7 -> int8: 「あの女王様は御分かり頂けないが浮き易い」ということは嘘である; int8 -> int9: 「「御分かり頂けないしかつ浮き易い」ということは本当でない」物はある; int9 & fact19 -> int10: そのＮＳＡは一休みしない; int10 -> int11: 「一休みするということはない」物はある; int11 & fact21 -> int12: 「この退職願いは近寄り難いし一休みする」ということは誤っている;
$facts$ = fact1: それは逼塞しなくて飲み終えるという物はない fact2: もし「一休みしない」ものはあるとすれば「この退職願いは近寄り難いしその上一休みする」ということは誤っている fact3: もしも何かは悪者扱いしないとしたら「それはいとおしくなくて更に進め易くない」ということは間違っている fact4: 仮に「「御分かり頂けないけど浮き易い」ということは真実でない」物があるとするとそのＮＳＡは一休みしない fact5: もしそのＮＳＡが近寄り難いとしたらあの女王様は浮き易くなくて一休みしない fact6: 仮にあの女王様は飲み終えないとしたら「それは御分かり頂けるということはないけれど浮き易い」ということは誤りである fact7: この退職願いは浮き易くないなら「飲み終える一方で一休みしない」ということは事実である fact8: そのＮＳＡが一休みするとすれば悪者扱いする fact9: あの女王様は一休みしない fact10: 「あの女王様は浮き易いということはなくてそれに一休みしない」ということは正しくない fact11: もし仮に「あの女王様は逼塞しないが飲み終える」ということは成り立たないとすればそれは飲み終えない fact12: もしそのＮＳＡが近寄り難いならばあの女王様は一休みするということはない fact13: もしもそのＮＳＡは悪者扱いするとしたら「それは近寄り難い」ということは事実である fact14: 「あの女王様は浮き易くない一方で一休みする」ということは正しくない fact15: そのＮＳＡは悪者扱いするということはないとしたら「この退職願いは飲み終えるしさらに御分かり頂ける」ということは誤っている ; $hypothesis$ = 「この退職願いは飲み終えるしおまけにそれは御分かり頂ける」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＮＳＡは悪者扱いする; fact13 & assump1 -> int1: そのＮＳＡは近寄り難い; int1 & fact5 -> int2: あの女王様は浮き易くないしさらに一休みしない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＮＳＡは悪者扱いしない; int4 & fact15 -> hypothesis; __PROVED__
事実1: それは逼塞しなくて飲み終えるという物はない
事実2: もし「一休みしない」ものはあるとすれば「この退職願いは近寄り難いしその上一休みする」ということは誤っている
事実3: もしも何かは悪者扱いしないとしたら「それはいとおしくなくて更に進め易くない」ということは間違っている
事実4: 仮に「「御分かり頂けないけど浮き易い」ということは真実でない」物があるとするとそのＮＳＡは一休みしない
事実5: もしそのＮＳＡが近寄り難いとしたらあの女王様は浮き易くなくて一休みしない
事実6: 仮にあの女王様は飲み終えないとしたら「それは御分かり頂けるということはないけれど浮き易い」ということは誤りである
事実7: この退職願いは浮き易くないなら「飲み終える一方で一休みしない」ということは事実である
事実8: そのＮＳＡが一休みするとすれば悪者扱いする
事実9: あの女王様は一休みしない
事実10: 「あの女王様は浮き易いということはなくてそれに一休みしない」ということは正しくない
事実11: もし仮に「あの女王様は逼塞しないが飲み終える」ということは成り立たないとすればそれは飲み終えない
事実12: もしそのＮＳＡが近寄り難いならばあの女王様は一休みするということはない
事実13: もしもそのＮＳＡは悪者扱いするとしたら「それは近寄り難い」ということは事実である
事実14: 「あの女王様は浮き易くない一方で一休みする」ということは正しくない
事実15: そのＮＳＡは悪者扱いするということはないとしたら「この退職願いは飲み終えるしさらに御分かり頂ける」ということは誤っている

仮説: 「この退職願いは飲み終えるしおまけにそれは御分かり頂ける」ということは間違いである
1. 仮定1: 以下のように仮定する。そのＮＳＡは悪者扱いする
2. 事実13と仮定1から、推論1: "そのＮＳＡは近寄り難い"が導かれる
3. 推論1と事実5から、推論2: "あの女王様は浮き易くないしさらに一休みしない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのＮＳＡは悪者扱いしない"が導かれる
6. 推論4と事実15から、仮説が導かれる

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