「あのキナは併用療法だ」ということは真実だ
fact1: 仮にこの胚盤胞は素っ気なくないとすれば「あのキナは力無くて有り続ける」ということは成り立たない fact2: もし仮に「何らかの物は忍耐強くない一方でそれは素っ気ない」ということは本当だということはないとしたらそれは力無い fact3: もしもこの七個以上が忍耐強いとしたらその市町村社協は忍耐強い fact4: 「「進化・文明化だしまた力無い」ということは偽な」物があるならこの七個以上は有り続けない fact5: もし「「その市町村社協は進化・文明化でないが書き易い」ということは本当である」ということは嘘なら進化・文明化である fact6: 「あのキナは併用療法でないけど忍耐強い」ということは間違いである fact7: もし仮に「この七個以上は有り続けないが力無い」ということは間違いであるなら忍耐強い fact8: この七個以上は素っ気ない fact9: 仮にあのキナが力無いとしたら併用療法だ fact10: 「この胚盤胞は素っ気ない」ということは真実ならばその市町村社協は忍耐強くない fact11: もし仮にあるものは書き易くないなら「あの作品全体は進化・文明化であるしおまけに力無い」ということは成り立たない fact12: 進化・文明化はある fact13: この胚盤胞は素っ気なくないとすれば「あのキナは力無くない一方でそれは有り続ける」ということは成り立たない fact14: 「あのキナは力無いし有り続ける」ということは間違っている fact15: 力無い物は併用療法である fact16: もし仮にこの胚盤胞が併用療法でないならあのキナは併用療法でない fact17: もしも「あるものは力無くないけれど有り続ける」ということは成り立たないとすると「それは併用療法である」ということは成り立つ fact18: もし何らかの物は進化・文明化であるとしたら「その市町村社協は進化・文明化でない一方でそれは書き易い」ということは成り立つということはない fact19: 仮にこの胚盤胞が力無くないならこの二千年初頭は素っ気ないし有り続ける fact20: もしその市町村社協が力無いとするとあのキナは忍耐強くない fact21: 「書き易くない」物はある fact22: この七個以上は忍耐強い fact23: この胚盤胞は有り続ける
void -> assump1: 以下のように仮定する。この胚盤胞は素っ気ない; fact10 & assump1 -> int1: その市町村社協は忍耐強くない; fact3 & fact22 -> int2: その市町村社協は忍耐強い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この胚盤胞は素っ気ない」ということは事実だ」ということは偽だ; int4 & fact13 -> int5: 「あのキナは力無くないがしかし有り続ける」ということは成り立たない; fact17 -> int6: 「仮に「あのキナは力無くないけれど有り続ける」ということは間違いであるとするとあのキナは併用療法である」ということは本当だ; int5 & int6 -> hypothesis;
この二千年初頭は忍耐強い
fact26 & fact27 -> int7: 「その市町村社協は進化・文明化でないがしかし書き易い」ということは成り立たない; fact24 & int7 -> int8: その市町村社協は進化・文明化である;
$facts$ = fact1: 仮にこの胚盤胞は素っ気なくないとすれば「あのキナは力無くて有り続ける」ということは成り立たない fact2: もし仮に「何らかの物は忍耐強くない一方でそれは素っ気ない」ということは本当だということはないとしたらそれは力無い fact3: もしもこの七個以上が忍耐強いとしたらその市町村社協は忍耐強い fact4: 「「進化・文明化だしまた力無い」ということは偽な」物があるならこの七個以上は有り続けない fact5: もし「「その市町村社協は進化・文明化でないが書き易い」ということは本当である」ということは嘘なら進化・文明化である fact6: 「あのキナは併用療法でないけど忍耐強い」ということは間違いである fact7: もし仮に「この七個以上は有り続けないが力無い」ということは間違いであるなら忍耐強い fact8: この七個以上は素っ気ない fact9: 仮にあのキナが力無いとしたら併用療法だ fact10: 「この胚盤胞は素っ気ない」ということは真実ならばその市町村社協は忍耐強くない fact11: もし仮にあるものは書き易くないなら「あの作品全体は進化・文明化であるしおまけに力無い」ということは成り立たない fact12: 進化・文明化はある fact13: この胚盤胞は素っ気なくないとすれば「あのキナは力無くない一方でそれは有り続ける」ということは成り立たない fact14: 「あのキナは力無いし有り続ける」ということは間違っている fact15: 力無い物は併用療法である fact16: もし仮にこの胚盤胞が併用療法でないならあのキナは併用療法でない fact17: もしも「あるものは力無くないけれど有り続ける」ということは成り立たないとすると「それは併用療法である」ということは成り立つ fact18: もし何らかの物は進化・文明化であるとしたら「その市町村社協は進化・文明化でない一方でそれは書き易い」ということは成り立つということはない fact19: 仮にこの胚盤胞が力無くないならこの二千年初頭は素っ気ないし有り続ける fact20: もしその市町村社協が力無いとするとあのキナは忍耐強くない fact21: 「書き易くない」物はある fact22: この七個以上は忍耐強い fact23: この胚盤胞は有り続ける ; $hypothesis$ = 「あのキナは併用療法だ」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この胚盤胞は素っ気ない; fact10 & assump1 -> int1: その市町村社協は忍耐強くない; fact3 & fact22 -> int2: その市町村社協は忍耐強い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この胚盤胞は素っ気ない」ということは事実だ」ということは偽だ; int4 & fact13 -> int5: 「あのキナは力無くないがしかし有り続ける」ということは成り立たない; fact17 -> int6: 「仮に「あのキナは力無くないけれど有り続ける」ということは間違いであるとするとあのキナは併用療法である」ということは本当だ; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮にこの胚盤胞は素っ気なくないとすれば「あのキナは力無くて有り続ける」ということは成り立たない
事実2: もし仮に「何らかの物は忍耐強くない一方でそれは素っ気ない」ということは本当だということはないとしたらそれは力無い
事実3: もしもこの七個以上が忍耐強いとしたらその市町村社協は忍耐強い
事実4: 「「進化・文明化だしまた力無い」ということは偽な」物があるならこの七個以上は有り続けない
事実5: もし「「その市町村社協は進化・文明化でないが書き易い」ということは本当である」ということは嘘なら進化・文明化である
事実6: 「あのキナは併用療法でないけど忍耐強い」ということは間違いである
事実7: もし仮に「この七個以上は有り続けないが力無い」ということは間違いであるなら忍耐強い
事実8: この七個以上は素っ気ない
事実9: 仮にあのキナが力無いとしたら併用療法だ
事実10: 「この胚盤胞は素っ気ない」ということは真実ならばその市町村社協は忍耐強くない
事実11: もし仮にあるものは書き易くないなら「あの作品全体は進化・文明化であるしおまけに力無い」ということは成り立たない
事実12: 進化・文明化はある
事実13: この胚盤胞は素っ気なくないとすれば「あのキナは力無くない一方でそれは有り続ける」ということは成り立たない
事実14: 「あのキナは力無いし有り続ける」ということは間違っている
事実15: 力無い物は併用療法である
事実16: もし仮にこの胚盤胞が併用療法でないならあのキナは併用療法でない
事実17: もしも「あるものは力無くないけれど有り続ける」ということは成り立たないとすると「それは併用療法である」ということは成り立つ
事実18: もし何らかの物は進化・文明化であるとしたら「その市町村社協は進化・文明化でない一方でそれは書き易い」ということは成り立つということはない
事実19: 仮にこの胚盤胞が力無くないならこの二千年初頭は素っ気ないし有り続ける
事実20: もしその市町村社協が力無いとするとあのキナは忍耐強くない
事実21: 「書き易くない」物はある
事実22: この七個以上は忍耐強い
事実23: この胚盤胞は有り続ける

仮説: 「あのキナは併用療法だ」ということは真実だ
1. 仮定1: 以下のように仮定する。この胚盤胞は素っ気ない
2. 事実10と仮定1から、推論1: "その市町村社協は忍耐強くない"が導かれる
3. 事実3と事実22から、推論2: "その市町村社協は忍耐強い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「この胚盤胞は素っ気ない」ということは事実だ」ということは偽だ"が導かれる
6. 推論4と事実13から、推論5: "「あのキナは力無くないがしかし有り続ける」ということは成り立たない"が導かれる
7. 事実17から、推論6: "「仮に「あのキナは力無くないけれど有り続ける」ということは間違いであるとするとあのキナは併用療法である」ということは本当だ"が導かれる
8. 推論5と推論6から、仮説が導かれる

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