その恵比寿様は統率しない
fact1: この直接的効果は止む無い fact2: もしもこの統計処理は株券発行前でないとすれば「それは日常行為だけど太り難くない」ということは事実と異なる fact3: もしも「何かは日常行為であるがしかしそれは太り難くない」ということは成り立たないとしたらそれは止む無くない fact4: もしこの直接的効果が止む無いとしたらこの統計処理は止む無い fact5: もしこの統計処理が株券発行前であるならそのＴＯは内向である fact6: もし仮にこの統計処理は内向でないとしたら「「怠いし加えてそれは株券発行前である」ということは確かである」ということは間違いである fact7: もし仮にその恵比寿様が怠くらないとすると統率しない fact8: もしもそのＴＯが内向ならその恵比寿様は怠くらない fact9: 何らかの物は株券発行前でないならば「それは向け始めるしそれは止む無くない」ということは間違っている fact10: もし仮に「何らかのものは止む無いが太り難いということはない」ということは間違っているとすると統率するということはない
void -> assump1: 以下のように仮定する。この統計処理は株券発行前だということはない; fact2 & assump1 -> int1: 「この統計処理は日常行為であるがしかし太り難いということはない」ということは間違いだ; fact3 -> int2: 「この統計処理は日常行為だけど太り難くない」ということは誤りだとしたらそれは止む無くない; int1 & int2 -> int3: この統計処理は止む無くない; fact1 & fact4 -> int4: この統計処理は止む無い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この統計処理は株券発行前だ」ということは嘘でない; int6 & fact5 -> int7: 「そのＴＯは内向だ」ということは確かである; int7 & fact8 -> int8: その恵比寿様は怠くらない; int8 & fact7 -> hypothesis;
「その恵比寿様は向け始めるがしかし止む無くない」ということは成り立たない
fact12 -> int9: 仮にその恵比寿様は株券発行前でないとすると「向け始めるけど止む無くない」ということは事実と異なる;
$facts$ = fact1: この直接的効果は止む無い fact2: もしもこの統計処理は株券発行前でないとすれば「それは日常行為だけど太り難くない」ということは事実と異なる fact3: もしも「何かは日常行為であるがしかしそれは太り難くない」ということは成り立たないとしたらそれは止む無くない fact4: もしこの直接的効果が止む無いとしたらこの統計処理は止む無い fact5: もしこの統計処理が株券発行前であるならそのＴＯは内向である fact6: もし仮にこの統計処理は内向でないとしたら「「怠いし加えてそれは株券発行前である」ということは確かである」ということは間違いである fact7: もし仮にその恵比寿様が怠くらないとすると統率しない fact8: もしもそのＴＯが内向ならその恵比寿様は怠くらない fact9: 何らかの物は株券発行前でないならば「それは向け始めるしそれは止む無くない」ということは間違っている fact10: もし仮に「何らかのものは止む無いが太り難いということはない」ということは間違っているとすると統率するということはない ; $hypothesis$ = その恵比寿様は統率しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この統計処理は株券発行前だということはない; fact2 & assump1 -> int1: 「この統計処理は日常行為であるがしかし太り難いということはない」ということは間違いだ; fact3 -> int2: 「この統計処理は日常行為だけど太り難くない」ということは誤りだとしたらそれは止む無くない; int1 & int2 -> int3: この統計処理は止む無くない; fact1 & fact4 -> int4: この統計処理は止む無い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この統計処理は株券発行前だ」ということは嘘でない; int6 & fact5 -> int7: 「そのＴＯは内向だ」ということは確かである; int7 & fact8 -> int8: その恵比寿様は怠くらない; int8 & fact7 -> hypothesis; __PROVED__
事実1: この直接的効果は止む無い
事実2: もしもこの統計処理は株券発行前でないとすれば「それは日常行為だけど太り難くない」ということは事実と異なる
事実3: もしも「何かは日常行為であるがしかしそれは太り難くない」ということは成り立たないとしたらそれは止む無くない
事実4: もしこの直接的効果が止む無いとしたらこの統計処理は止む無い
事実5: もしこの統計処理が株券発行前であるならそのＴＯは内向である
事実6: もし仮にこの統計処理は内向でないとしたら「「怠いし加えてそれは株券発行前である」ということは確かである」ということは間違いである
事実7: もし仮にその恵比寿様が怠くらないとすると統率しない
事実8: もしもそのＴＯが内向ならその恵比寿様は怠くらない
事実9: 何らかの物は株券発行前でないならば「それは向け始めるしそれは止む無くない」ということは間違っている
事実10: もし仮に「何らかのものは止む無いが太り難いということはない」ということは間違っているとすると統率するということはない

仮説: その恵比寿様は統率しない
1. 仮定1: 以下のように仮定する。この統計処理は株券発行前だということはない
2. 事実2と仮定1から、推論1: "「この統計処理は日常行為であるがしかし太り難いということはない」ということは間違いだ"が導かれる
3. 事実3から、推論2: "「この統計処理は日常行為だけど太り難くない」ということは誤りだとしたらそれは止む無くない"が導かれる
4. 推論1と推論2から、推論3: "この統計処理は止む無くない"が導かれる
5. 事実1と事実4から、推論4: "この統計処理は止む無い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この統計処理は株券発行前だ」ということは嘘でない"が導かれる
8. 推論6と事実5から、推論7: "「そのＴＯは内向だ」ということは確かである"が導かれる
9. 推論7と事実8から、推論8: "その恵比寿様は怠くらない"が導かれる
10. 推論8と事実7から、仮説が導かれる

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