あのオープンソースソフトウェアは茂る
fact1: もしあるものはフォントでないなら「それはしがなくないがしかしスモールビジネスだ」ということは成り立たない fact2: もしも「「ヤングだしその上柔道でない」ということは成り立たない」物があるとするとあの武装はフォントでない fact3: もしもなんらかの物は創出出来るとしたら「この自家用車はめぼしくないし薄くない」ということは偽だ fact4: 仮にあのオープンソースソフトウェアが総括しないならこのＦＴＴＨは総括しない fact5: 苦しない物は人魔神であるしかつ創出出来る fact6: すべてのものは反オーストリアであるが苦しない fact7: 「この本諸子は副本部長である」ということは間違いであるということはないとすれば「このコンクリート護岸はヤングだけど柔道でない」ということは嘘だ fact8: もし仮にこの押さえ馬券が平絹でないとするとこのＦＴＴＨは脂っぽくないしまた茂らない fact9: 「このＦＴＴＨは強Ｐでなくてまたそれは二の足だということはない」ということは誤りだとすると「平絹でない」ということは真実だ fact10: もし「あるものはしがなくないがしかしスモールビジネスだ」ということは間違っていればしがない fact11: 仮にこのＦＴＴＨは総括するとすると「あのオープンソースソフトウェアは茂る」ということは事実だ fact12: このＦＴＴＨは脂っぽいということはなくてスモールビジネスでない fact13: 仮に何らかの物が二の足だということはなくて脂っぽくないならばそれは総括する fact14: もしこのＦＴＴＨは強Ｐであるなら「あのオープンソースソフトウェアはスモールビジネスである」ということは事実だ fact15: あのオープンソースソフトウェアはしがない fact16: このＦＴＴＨは平絹であるししがない fact17: もしも「このＦＴＴＨは脂っぽくないが平絹である」ということは真実でないとするとこの取り締まりはスモールビジネスだ fact18: あの羽根ペンは二の足だ fact19: あのオープンソースソフトウェアは平絹であるということはない fact20: この本諸子は副本部長だ fact21: もしも「「めぼしくなくて薄くない」ということは事実と異なる」物があるとすればあの武装は総括する
void -> assump1: 以下のように仮定する。「「このＦＴＴＨは強Ｐでなくてしかもそれは二の足でない」ということは確かだ」ということは成り立たない; fact9 & assump1 -> int1: このＦＴＴＨは平絹であるということはない; fact16 -> int2: このＦＴＴＨは平絹である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＦＴＴＨは強Ｐでないしさらにそれは二の足でない; int4 -> int5: 「このＦＴＴＨは二の足でない」ということは本当だ; fact12 -> int6: このＦＴＴＨは脂っぽくない; int5 & int6 -> int7: このＦＴＴＨは二の足であるということはないし脂っぽくない; fact13 -> int8: 仮にこのＦＴＴＨは二の足でないし脂っぽくないとしたらそれは総括する; int7 & int8 -> int9: 「このＦＴＴＨは総括する」ということは成り立つ; int9 & fact11 -> hypothesis;
あのオープンソースソフトウェアは茂らない
fact31 & fact29 -> int10: 「このコンクリート護岸はヤングであるがしかしそれは柔道でない」ということは間違っている; int10 -> int11: 「「ヤングであるしおまけに柔道でない」ということは事実と異なる」物はある; int11 & fact27 -> int12: あの武装はフォントでない; fact25 -> int13: あの武装はフォントでないならば「しがなくないけどスモールビジネスだ」ということは成り立たない; int12 & int13 -> int14: 「あの武装はしがなくないけれどスモールビジネスである」ということは成り立たない; fact26 -> int15: 「もしも「あの武装はしがなくない一方でスモールビジネスである」ということは事実であるということはないとすればあの武装はしがない」ということは事実である; int14 & int15 -> int16: あの武装はしがない; fact30 -> int17: この修繕は反オーストリアであるけれど苦しない; int17 -> int18: この修繕は苦しない; int18 -> int19: どれもこれもは苦しない; int19 -> int20: あの法案作りは苦しない; fact22 -> int21: もしもあの法案作りが苦しないならば人魔神であるししかも創出出来る; int20 & int21 -> int22: あの法案作りは人魔神だしまた創出出来る; int22 -> int23: 「すべては人魔神だし更に創出出来る」ということは事実である; int23 -> int24: そのフロント・フェンダーは人魔神だし創出出来る; int24 -> int25: そのフロント・フェンダーは創出出来る; int25 -> int26: 「創出出来る」ものはある; int26 & fact24 -> int27: 「この自家用車はめぼしくないし薄くない」ということは間違いである; int27 -> int28: 「「めぼしくないしさらに薄くない」ということは事実だということはない」ものはある; int28 & fact23 -> int29: あの武装は総括する; int16 & int29 -> int30: あの武装は総括するしそれにそれはしがない; int30 -> int31: 「総括するしさらにしがない」物はある;
$facts$ = fact1: もしあるものはフォントでないなら「それはしがなくないがしかしスモールビジネスだ」ということは成り立たない fact2: もしも「「ヤングだしその上柔道でない」ということは成り立たない」物があるとするとあの武装はフォントでない fact3: もしもなんらかの物は創出出来るとしたら「この自家用車はめぼしくないし薄くない」ということは偽だ fact4: 仮にあのオープンソースソフトウェアが総括しないならこのＦＴＴＨは総括しない fact5: 苦しない物は人魔神であるしかつ創出出来る fact6: すべてのものは反オーストリアであるが苦しない fact7: 「この本諸子は副本部長である」ということは間違いであるということはないとすれば「このコンクリート護岸はヤングだけど柔道でない」ということは嘘だ fact8: もし仮にこの押さえ馬券が平絹でないとするとこのＦＴＴＨは脂っぽくないしまた茂らない fact9: 「このＦＴＴＨは強Ｐでなくてまたそれは二の足だということはない」ということは誤りだとすると「平絹でない」ということは真実だ fact10: もし「あるものはしがなくないがしかしスモールビジネスだ」ということは間違っていればしがない fact11: 仮にこのＦＴＴＨは総括するとすると「あのオープンソースソフトウェアは茂る」ということは事実だ fact12: このＦＴＴＨは脂っぽいということはなくてスモールビジネスでない fact13: 仮に何らかの物が二の足だということはなくて脂っぽくないならばそれは総括する fact14: もしこのＦＴＴＨは強Ｐであるなら「あのオープンソースソフトウェアはスモールビジネスである」ということは事実だ fact15: あのオープンソースソフトウェアはしがない fact16: このＦＴＴＨは平絹であるししがない fact17: もしも「このＦＴＴＨは脂っぽくないが平絹である」ということは真実でないとするとこの取り締まりはスモールビジネスだ fact18: あの羽根ペンは二の足だ fact19: あのオープンソースソフトウェアは平絹であるということはない fact20: この本諸子は副本部長だ fact21: もしも「「めぼしくなくて薄くない」ということは事実と異なる」物があるとすればあの武装は総括する ; $hypothesis$ = あのオープンソースソフトウェアは茂る ; $proof$ = 
void -> assump1: 以下のように仮定する。「「このＦＴＴＨは強Ｐでなくてしかもそれは二の足でない」ということは確かだ」ということは成り立たない; fact9 & assump1 -> int1: このＦＴＴＨは平絹であるということはない; fact16 -> int2: このＦＴＴＨは平絹である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＦＴＴＨは強Ｐでないしさらにそれは二の足でない; int4 -> int5: 「このＦＴＴＨは二の足でない」ということは本当だ; fact12 -> int6: このＦＴＴＨは脂っぽくない; int5 & int6 -> int7: このＦＴＴＨは二の足であるということはないし脂っぽくない; fact13 -> int8: 仮にこのＦＴＴＨは二の足でないし脂っぽくないとしたらそれは総括する; int7 & int8 -> int9: 「このＦＴＴＨは総括する」ということは成り立つ; int9 & fact11 -> hypothesis; __PROVED__
事実1: もしあるものはフォントでないなら「それはしがなくないがしかしスモールビジネスだ」ということは成り立たない
事実2: もしも「「ヤングだしその上柔道でない」ということは成り立たない」物があるとするとあの武装はフォントでない
事実3: もしもなんらかの物は創出出来るとしたら「この自家用車はめぼしくないし薄くない」ということは偽だ
事実4: 仮にあのオープンソースソフトウェアが総括しないならこのＦＴＴＨは総括しない
事実5: 苦しない物は人魔神であるしかつ創出出来る
事実6: すべてのものは反オーストリアであるが苦しない
事実7: 「この本諸子は副本部長である」ということは間違いであるということはないとすれば「このコンクリート護岸はヤングだけど柔道でない」ということは嘘だ
事実8: もし仮にこの押さえ馬券が平絹でないとするとこのＦＴＴＨは脂っぽくないしまた茂らない
事実9: 「このＦＴＴＨは強Ｐでなくてまたそれは二の足だということはない」ということは誤りだとすると「平絹でない」ということは真実だ
事実10: もし「あるものはしがなくないがしかしスモールビジネスだ」ということは間違っていればしがない
事実11: 仮にこのＦＴＴＨは総括するとすると「あのオープンソースソフトウェアは茂る」ということは事実だ
事実12: このＦＴＴＨは脂っぽいということはなくてスモールビジネスでない
事実13: 仮に何らかの物が二の足だということはなくて脂っぽくないならばそれは総括する
事実14: もしこのＦＴＴＨは強Ｐであるなら「あのオープンソースソフトウェアはスモールビジネスである」ということは事実だ
事実15: あのオープンソースソフトウェアはしがない
事実16: このＦＴＴＨは平絹であるししがない
事実17: もしも「このＦＴＴＨは脂っぽくないが平絹である」ということは真実でないとするとこの取り締まりはスモールビジネスだ
事実18: あの羽根ペンは二の足だ
事実19: あのオープンソースソフトウェアは平絹であるということはない
事実20: この本諸子は副本部長だ
事実21: もしも「「めぼしくなくて薄くない」ということは事実と異なる」物があるとすればあの武装は総括する

仮説: あのオープンソースソフトウェアは茂る
1. 仮定1: 以下のように仮定する。「「このＦＴＴＨは強Ｐでなくてしかもそれは二の足でない」ということは確かだ」ということは成り立たない
2. 事実9と仮定1から、推論1: "このＦＴＴＨは平絹であるということはない"が導かれる
3. 事実16から、推論2: "このＦＴＴＨは平絹である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このＦＴＴＨは強Ｐでないしさらにそれは二の足でない"が導かれる
6. 推論4から、推論5: "「このＦＴＴＨは二の足でない」ということは本当だ"が導かれる
7. 事実12から、推論6: "このＦＴＴＨは脂っぽくない"が導かれる
8. 推論5と推論6から、推論7: "このＦＴＴＨは二の足であるということはないし脂っぽくない"が導かれる
9. 事実13から、推論8: "仮にこのＦＴＴＨは二の足でないし脂っぽくないとしたらそれは総括する"が導かれる
10. 推論7と推論8から、推論9: "「このＦＴＴＨは総括する」ということは成り立つ"が導かれる
11. 推論9と事実11から、仮説が導かれる

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