もし仮にあの事前求償は社外流出しないなら「それは故無くなくておまけにそれは危うしということはない」ということは嘘だ
fact1: もし仮にあの事前求償は立身出世主義でないとしたら「故無くないしそれは危うしない」ということは嘘だ fact2: もしも「あの事前求償はイメージし易くない」ということは真実であるならば「唱え始めないがしかし立身出世主義である」ということは成り立たない fact3: もしあの事前求償が立身出世主義でないとすると故無くなくて危うしということはない fact4: もしもあの事前求償は満人でないならば「それは社外流出するということはなくてそれは取っ付き易くない」ということは偽だ fact5: あの事前求償は参照し為さらないとすれば「故無いがしかし表御殿でない」ということは嘘だ fact6: 「「あの事前求償は故無くないけど危うし」ということは誤りだ」ということは成り立つ fact7: もし仮に何らかの物は立身出世主義でないなら「精米しなくて加えて待ち兼ねない」ということは成り立たない fact8: あの事前求償は故無くなくておまけに危うしない fact9: 「あの事前求償は故無いけどそれは社外流出しない」ということは成り立たないならその岩峰は立身出世主義でない fact10: もしその川北警部は病没でないとしたら「調整出来るしキューブでない」ということは成り立たない fact11: もしもあの事前求償が社外流出しないならば故無いということはなくてまたそれは危うしということはない fact12: 「あの事前求償は故無い一方で危うしない」ということは誤りである fact13: もしあの事前求償は掛け易くないとすれば「それは直進しなくてその上立身出世主義でない」ということは誤りだ fact14: 「あの事前求償は危うしないしおまけに飛び回り始めるということはない」ということは事実と異なる fact15: もしあの事前求償は立身出世主義であるとすれば「社外流出する」ということは確かだ fact16: 「この青鮫は御寒くなくてそれは溶け出ない」ということは事実と異なる fact17: もしあの革靴は及第点でないなら「ビッグ・バンであるということはなくてしかもそれはオールＥＳである」ということは誤っている fact18: 「もしあの事前求償は社外流出しないとしたら「あの事前求償は故無いがしかし危うしということはない」ということは間違いである」ということは確かである fact19: もし仮にあの事前求償は社外流出しないとすれば「故無くないけれど危うし」ということは嘘だ
void -> assump2: 以下のように仮定する。あの事前求償は立身出世主義だ; fact15 & assump2 -> int1: あの事前求償は社外流出する; void -> assump1: 以下のように仮定する。あの事前求償は社外流出しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの事前求償は立身出世主義でない; int3 & fact1 -> int4: 「あの事前求償は故無くないしかつ危うしない」ということは偽である; [assump1] & int4 -> hypothesis;
「その岩峰は精米しなくてそれは待ち兼ねない」ということは間違っている
fact20 -> int5: もしその岩峰は立身出世主義でないなら「それは精米しないしそれにそれは待ち兼ねない」ということは間違いである;
$facts$ = fact1: もし仮にあの事前求償は立身出世主義でないとしたら「故無くないしそれは危うしない」ということは嘘だ fact2: もしも「あの事前求償はイメージし易くない」ということは真実であるならば「唱え始めないがしかし立身出世主義である」ということは成り立たない fact3: もしあの事前求償が立身出世主義でないとすると故無くなくて危うしということはない fact4: もしもあの事前求償は満人でないならば「それは社外流出するということはなくてそれは取っ付き易くない」ということは偽だ fact5: あの事前求償は参照し為さらないとすれば「故無いがしかし表御殿でない」ということは嘘だ fact6: 「「あの事前求償は故無くないけど危うし」ということは誤りだ」ということは成り立つ fact7: もし仮に何らかの物は立身出世主義でないなら「精米しなくて加えて待ち兼ねない」ということは成り立たない fact8: あの事前求償は故無くなくておまけに危うしない fact9: 「あの事前求償は故無いけどそれは社外流出しない」ということは成り立たないならその岩峰は立身出世主義でない fact10: もしその川北警部は病没でないとしたら「調整出来るしキューブでない」ということは成り立たない fact11: もしもあの事前求償が社外流出しないならば故無いということはなくてまたそれは危うしということはない fact12: 「あの事前求償は故無い一方で危うしない」ということは誤りである fact13: もしあの事前求償は掛け易くないとすれば「それは直進しなくてその上立身出世主義でない」ということは誤りだ fact14: 「あの事前求償は危うしないしおまけに飛び回り始めるということはない」ということは事実と異なる fact15: もしあの事前求償は立身出世主義であるとすれば「社外流出する」ということは確かだ fact16: 「この青鮫は御寒くなくてそれは溶け出ない」ということは事実と異なる fact17: もしあの革靴は及第点でないなら「ビッグ・バンであるということはなくてしかもそれはオールＥＳである」ということは誤っている fact18: 「もしあの事前求償は社外流出しないとしたら「あの事前求償は故無いがしかし危うしということはない」ということは間違いである」ということは確かである fact19: もし仮にあの事前求償は社外流出しないとすれば「故無くないけれど危うし」ということは嘘だ ; $hypothesis$ = もし仮にあの事前求償は社外流出しないなら「それは故無くなくておまけにそれは危うしということはない」ということは嘘だ ; $proof$ = 
void -> assump2: 以下のように仮定する。あの事前求償は立身出世主義だ; fact15 & assump2 -> int1: あの事前求償は社外流出する; void -> assump1: 以下のように仮定する。あの事前求償は社外流出しない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの事前求償は立身出世主義でない; int3 & fact1 -> int4: 「あの事前求償は故無くないしかつ危うしない」ということは偽である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にあの事前求償は立身出世主義でないとしたら「故無くないしそれは危うしない」ということは嘘だ
事実2: もしも「あの事前求償はイメージし易くない」ということは真実であるならば「唱え始めないがしかし立身出世主義である」ということは成り立たない
事実3: もしあの事前求償が立身出世主義でないとすると故無くなくて危うしということはない
事実4: もしもあの事前求償は満人でないならば「それは社外流出するということはなくてそれは取っ付き易くない」ということは偽だ
事実5: あの事前求償は参照し為さらないとすれば「故無いがしかし表御殿でない」ということは嘘だ
事実6: 「「あの事前求償は故無くないけど危うし」ということは誤りだ」ということは成り立つ
事実7: もし仮に何らかの物は立身出世主義でないなら「精米しなくて加えて待ち兼ねない」ということは成り立たない
事実8: あの事前求償は故無くなくておまけに危うしない
事実9: 「あの事前求償は故無いけどそれは社外流出しない」ということは成り立たないならその岩峰は立身出世主義でない
事実10: もしその川北警部は病没でないとしたら「調整出来るしキューブでない」ということは成り立たない
事実11: もしもあの事前求償が社外流出しないならば故無いということはなくてまたそれは危うしということはない
事実12: 「あの事前求償は故無い一方で危うしない」ということは誤りである
事実13: もしあの事前求償は掛け易くないとすれば「それは直進しなくてその上立身出世主義でない」ということは誤りだ
事実14: 「あの事前求償は危うしないしおまけに飛び回り始めるということはない」ということは事実と異なる
事実15: もしあの事前求償は立身出世主義であるとすれば「社外流出する」ということは確かだ
事実16: 「この青鮫は御寒くなくてそれは溶け出ない」ということは事実と異なる
事実17: もしあの革靴は及第点でないなら「ビッグ・バンであるということはなくてしかもそれはオールＥＳである」ということは誤っている
事実18: 「もしあの事前求償は社外流出しないとしたら「あの事前求償は故無いがしかし危うしということはない」ということは間違いである」ということは確かである
事実19: もし仮にあの事前求償は社外流出しないとすれば「故無くないけれど危うし」ということは嘘だ

仮説: もし仮にあの事前求償は社外流出しないなら「それは故無くなくておまけにそれは危うしということはない」ということは嘘だ
1. 仮定2: 以下のように仮定する。あの事前求償は立身出世主義だ
2. 事実15と仮定2から、推論1: "あの事前求償は社外流出する"が導かれる
3. 仮定1: 以下のように仮定する。あの事前求償は社外流出しない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの事前求償は立身出世主義でない"が導かれる
6. 推論3と事実1から、推論4: "「あの事前求償は故無くないしかつ危うしない」ということは偽である"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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