その黄体化ホルモンは補記であるということはない
fact1: もし仮に「骨髄幹細胞である」ものがあるとするとあの機関委任事務は図太いししかも走り込む fact2: 「その校則は長たらしくない」ということは真実である fact3: 何らかのものは図太いなら「それは訝しいけど進め易くない」ということは嘘だ fact4: もしその校則は長たらしいとすると「その黄体化ホルモンは役席者でないけれど広がり易い」ということは間違いである fact5: もし仮に「何かは赤しけど訝しくない」ということは誤っているとすれば赤しない fact6: もしその黄体化ホルモンは補記であるならば「その校則は役席者であるということはないけれど広がり易い」ということは間違っている fact7: 「骨髄幹細胞である」物はある fact8: もし仮に「その情婦は長編小説であるし厳い」ということは成り立たないならその校則は長編小説でない fact9: もしもなんらかの物は矢尻でないとしたら読み替えるし更に雪達磨である fact10: 「とある物は早しないがしかし長編小説だ」ということは成り立たないなら早し fact11: その売り場面積は矢尻でない fact12: もし仮にその校則は長たらしくないなら「広がり易い」ということは真実だ fact13: もしも「「訝しいししかも進め易くない」ということは間違いである」物はあるとしたら「その入園式は進め易い」ということは事実である fact14: もし何らかの物は読み替えるとすると「その情婦は長編小説で更に厳い」ということは偽である fact15: その情婦が補記ならその校則は補記である fact16: 仮にその校則が補記ならばその黄体化ホルモンは補記である fact17: もし仮にその黄体化ホルモンが長たらしいならばあの入園式は健常側でないし更に補記でない fact18: 仮にその売り場面積は早しならば「その情婦は赤しがしかし訝しくない」ということは嘘だ fact19: 「早しないものは長たらしいがしかし赤しない」ということは本当である fact20: その校則は広がり易い fact21: もし仮にその校則は長編小説でないならば「その黄体化ホルモンは早しない」ということは事実である fact22: その校則が長たらしくないなら役席者でなくて広がり易い
void -> assump1: 以下のように仮定する。その黄体化ホルモンは補記である; fact6 & assump1 -> int1: 「その校則は役席者でないけれど広がり易い」ということは事実と異なる; fact22 & fact2 -> int2: その校則は役席者でないけどそれは広がり易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その入園式は健常側であるということはないがしかしそれは進め易い」ということは成り立つ
fact31 -> int4: もしもその黄体化ホルモンが早しないならばそれは長たらしくてかつそれは赤しない; fact29 -> int5: もしその売り場面積が矢尻でないならば読み替えるしかつそれは雪達磨である; int5 & fact26 -> int6: その売り場面積は読み替えるしその上雪達磨だ; int6 -> int7: その売り場面積は読み替える; int7 -> int8: 「読み替える」物はある; int8 & fact24 -> int9: 「その情婦は長編小説でおまけに厳い」ということは成り立たない; fact25 & int9 -> int10: その校則は長編小説でない; fact32 & int10 -> int11: その黄体化ホルモンは早しということはない; int4 & int11 -> int12: その黄体化ホルモンは長たらしいけれどそれは赤しない; int12 -> int13: 「その黄体化ホルモンは長たらしい」ということは成り立つ; fact23 & int13 -> int14: その入園式は健常側でないし補記でない; int14 -> int15: 「その入園式は健常側でない」ということは事実だ; fact33 -> int16: もしもあの機関委任事務は図太いとしたら「訝しいがしかし進め易くない」ということは成り立たない; fact30 & fact28 -> int17: あの機関委任事務は図太いし走り込む; int17 -> int18: あの機関委任事務は図太い; int16 & int18 -> int19: 「あの機関委任事務は訝しいがしかしそれは進め易くない」ということは事実と異なる; int19 -> int20: 「「訝しいし進め易くない」ということは事実と異なる」物はある; int20 & fact27 -> int21: その入園式は進め易い; int15 & int21 -> hypothesis;
$facts$ = fact1: もし仮に「骨髄幹細胞である」ものがあるとするとあの機関委任事務は図太いししかも走り込む fact2: 「その校則は長たらしくない」ということは真実である fact3: 何らかのものは図太いなら「それは訝しいけど進め易くない」ということは嘘だ fact4: もしその校則は長たらしいとすると「その黄体化ホルモンは役席者でないけれど広がり易い」ということは間違いである fact5: もし仮に「何かは赤しけど訝しくない」ということは誤っているとすれば赤しない fact6: もしその黄体化ホルモンは補記であるならば「その校則は役席者であるということはないけれど広がり易い」ということは間違っている fact7: 「骨髄幹細胞である」物はある fact8: もし仮に「その情婦は長編小説であるし厳い」ということは成り立たないならその校則は長編小説でない fact9: もしもなんらかの物は矢尻でないとしたら読み替えるし更に雪達磨である fact10: 「とある物は早しないがしかし長編小説だ」ということは成り立たないなら早し fact11: その売り場面積は矢尻でない fact12: もし仮にその校則は長たらしくないなら「広がり易い」ということは真実だ fact13: もしも「「訝しいししかも進め易くない」ということは間違いである」物はあるとしたら「その入園式は進め易い」ということは事実である fact14: もし何らかの物は読み替えるとすると「その情婦は長編小説で更に厳い」ということは偽である fact15: その情婦が補記ならその校則は補記である fact16: 仮にその校則が補記ならばその黄体化ホルモンは補記である fact17: もし仮にその黄体化ホルモンが長たらしいならばあの入園式は健常側でないし更に補記でない fact18: 仮にその売り場面積は早しならば「その情婦は赤しがしかし訝しくない」ということは嘘だ fact19: 「早しないものは長たらしいがしかし赤しない」ということは本当である fact20: その校則は広がり易い fact21: もし仮にその校則は長編小説でないならば「その黄体化ホルモンは早しない」ということは事実である fact22: その校則が長たらしくないなら役席者でなくて広がり易い ; $hypothesis$ = その黄体化ホルモンは補記であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その黄体化ホルモンは補記である; fact6 & assump1 -> int1: 「その校則は役席者でないけれど広がり易い」ということは事実と異なる; fact22 & fact2 -> int2: その校則は役席者でないけどそれは広がり易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「骨髄幹細胞である」ものがあるとするとあの機関委任事務は図太いししかも走り込む
事実2: 「その校則は長たらしくない」ということは真実である
事実3: 何らかのものは図太いなら「それは訝しいけど進め易くない」ということは嘘だ
事実4: もしその校則は長たらしいとすると「その黄体化ホルモンは役席者でないけれど広がり易い」ということは間違いである
事実5: もし仮に「何かは赤しけど訝しくない」ということは誤っているとすれば赤しない
事実6: もしその黄体化ホルモンは補記であるならば「その校則は役席者であるということはないけれど広がり易い」ということは間違っている
事実7: 「骨髄幹細胞である」物はある
事実8: もし仮に「その情婦は長編小説であるし厳い」ということは成り立たないならその校則は長編小説でない
事実9: もしもなんらかの物は矢尻でないとしたら読み替えるし更に雪達磨である
事実10: 「とある物は早しないがしかし長編小説だ」ということは成り立たないなら早し
事実11: その売り場面積は矢尻でない
事実12: もし仮にその校則は長たらしくないなら「広がり易い」ということは真実だ
事実13: もしも「「訝しいししかも進め易くない」ということは間違いである」物はあるとしたら「その入園式は進め易い」ということは事実である
事実14: もし何らかの物は読み替えるとすると「その情婦は長編小説で更に厳い」ということは偽である
事実15: その情婦が補記ならその校則は補記である
事実16: 仮にその校則が補記ならばその黄体化ホルモンは補記である
事実17: もし仮にその黄体化ホルモンが長たらしいならばあの入園式は健常側でないし更に補記でない
事実18: 仮にその売り場面積は早しならば「その情婦は赤しがしかし訝しくない」ということは嘘だ
事実19: 「早しないものは長たらしいがしかし赤しない」ということは本当である
事実20: その校則は広がり易い
事実21: もし仮にその校則は長編小説でないならば「その黄体化ホルモンは早しない」ということは事実である
事実22: その校則が長たらしくないなら役席者でなくて広がり易い

仮説: その黄体化ホルモンは補記であるということはない
1. 仮定1: 以下のように仮定する。その黄体化ホルモンは補記である
2. 事実6と仮定1から、推論1: "「その校則は役席者でないけれど広がり易い」ということは事実と異なる"が導かれる
3. 事実22と事実2から、推論2: "その校則は役席者でないけどそれは広がり易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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