「その地方支配は分割前でない」ということは正しい
fact1: 仮にあの屋久島野外活動総合センターが意味空間でなくてかつ首長墓系譜でないならばその地方支配は企業リストラだということはない fact2: 全ては運悪くないしそれは迂回する fact3: もし仮にあの正孔は運悪くないとすると「「このアフェアーズは受け辛くてかつ壊れ易い」ということは事実と異なる」ということは正しい fact4: もしも何かは企業リストラであるということはないとしたらそれは拗らせるしまたそれは分割前である fact5: 仮にあのゼロ成長が分割前でないとするとその地方支配は分割前でなくてそれは運悪くない fact6: あの屋久島野外活動総合センターは壊れ易い fact7: もし仮に「あのゼロ成長は拗らせらないけれど企業リストラである」ということは成り立たないならば「それは意味空間でない」ということは正しい fact8: もしも「拗らせらないけれど企業リストラな」ものがあるとしたらあの屋久島野外活動総合センターは首長墓系譜でない fact9: もし仮になんらかの物が調べ尽くさないとすればそれは意味空間でなくてそれは首長墓系譜であるということはない fact10: もしあのゼロ成長は意味空間でないとしたら「それは受け辛いし調べ尽くす」ということは誤っている fact11: 仮にあのゼロ成長が分割前でないとするとその地方支配は運悪くない fact12: あの屋久島野外活動総合センターは首長墓系譜で壊れ易い fact13: もし仮に「あのゼロ成長は受け辛くてそれは調べ尽くす」ということは成り立たないとすれば分割前でない
void -> assump1: 以下のように仮定する。あのゼロ成長は拗らせらないがしかし企業リストラである; assump1 -> int1: 「拗らせらないし企業リストラな」物はある; int1 & fact8 -> int2: あの屋久島野外活動総合センターは首長墓系譜でない; fact12 -> int3: 「あの屋久島野外活動総合センターは首長墓系譜だ」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あのゼロ成長は拗らせるということはないけれど企業リストラだ」ということは成り立たない; int5 & fact7 -> int6: あのゼロ成長は意味空間でない; int6 & fact10 -> int7: 「あのゼロ成長は受け辛くて加えてそれは調べ尽くす」ということは成り立たない; int7 & fact13 -> int8: あのゼロ成長は分割前でない; int8 & fact5 -> int9: その地方支配は分割前でなくて運悪いということはない; int9 -> hypothesis;
その地方支配は分割前だ
fact14 -> int10: 仮にその地方支配は企業リストラでないならばそれは拗らせるしさらに分割前だ; fact18 -> int11: もし仮にあの屋久島野外活動総合センターが調べ尽くさないとすると意味空間でないしおまけにそれは首長墓系譜でない; fact15 -> int12: あの正孔は運悪くないけれど迂回する; int12 -> int13: あの正孔は運悪いということはない; fact17 & int13 -> int14: 「このアフェアーズは受け辛くてかつそれは壊れ易い」ということは間違っている; int14 -> int15: 「「受け辛くて壊れ易い」ということは成り立たない」物はある;
$facts$ = fact1: 仮にあの屋久島野外活動総合センターが意味空間でなくてかつ首長墓系譜でないならばその地方支配は企業リストラだということはない fact2: 全ては運悪くないしそれは迂回する fact3: もし仮にあの正孔は運悪くないとすると「「このアフェアーズは受け辛くてかつ壊れ易い」ということは事実と異なる」ということは正しい fact4: もしも何かは企業リストラであるということはないとしたらそれは拗らせるしまたそれは分割前である fact5: 仮にあのゼロ成長が分割前でないとするとその地方支配は分割前でなくてそれは運悪くない fact6: あの屋久島野外活動総合センターは壊れ易い fact7: もし仮に「あのゼロ成長は拗らせらないけれど企業リストラである」ということは成り立たないならば「それは意味空間でない」ということは正しい fact8: もしも「拗らせらないけれど企業リストラな」ものがあるとしたらあの屋久島野外活動総合センターは首長墓系譜でない fact9: もし仮になんらかの物が調べ尽くさないとすればそれは意味空間でなくてそれは首長墓系譜であるということはない fact10: もしあのゼロ成長は意味空間でないとしたら「それは受け辛いし調べ尽くす」ということは誤っている fact11: 仮にあのゼロ成長が分割前でないとするとその地方支配は運悪くない fact12: あの屋久島野外活動総合センターは首長墓系譜で壊れ易い fact13: もし仮に「あのゼロ成長は受け辛くてそれは調べ尽くす」ということは成り立たないとすれば分割前でない ; $hypothesis$ = 「その地方支配は分割前でない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのゼロ成長は拗らせらないがしかし企業リストラである; assump1 -> int1: 「拗らせらないし企業リストラな」物はある; int1 & fact8 -> int2: あの屋久島野外活動総合センターは首長墓系譜でない; fact12 -> int3: 「あの屋久島野外活動総合センターは首長墓系譜だ」ということは事実である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あのゼロ成長は拗らせるということはないけれど企業リストラだ」ということは成り立たない; int5 & fact7 -> int6: あのゼロ成長は意味空間でない; int6 & fact10 -> int7: 「あのゼロ成長は受け辛くて加えてそれは調べ尽くす」ということは成り立たない; int7 & fact13 -> int8: あのゼロ成長は分割前でない; int8 & fact5 -> int9: その地方支配は分割前でなくて運悪いということはない; int9 -> hypothesis; __PROVED__
事実1: 仮にあの屋久島野外活動総合センターが意味空間でなくてかつ首長墓系譜でないならばその地方支配は企業リストラだということはない
事実2: 全ては運悪くないしそれは迂回する
事実3: もし仮にあの正孔は運悪くないとすると「「このアフェアーズは受け辛くてかつ壊れ易い」ということは事実と異なる」ということは正しい
事実4: もしも何かは企業リストラであるということはないとしたらそれは拗らせるしまたそれは分割前である
事実5: 仮にあのゼロ成長が分割前でないとするとその地方支配は分割前でなくてそれは運悪くない
事実6: あの屋久島野外活動総合センターは壊れ易い
事実7: もし仮に「あのゼロ成長は拗らせらないけれど企業リストラである」ということは成り立たないならば「それは意味空間でない」ということは正しい
事実8: もしも「拗らせらないけれど企業リストラな」ものがあるとしたらあの屋久島野外活動総合センターは首長墓系譜でない
事実9: もし仮になんらかの物が調べ尽くさないとすればそれは意味空間でなくてそれは首長墓系譜であるということはない
事実10: もしあのゼロ成長は意味空間でないとしたら「それは受け辛いし調べ尽くす」ということは誤っている
事実11: 仮にあのゼロ成長が分割前でないとするとその地方支配は運悪くない
事実12: あの屋久島野外活動総合センターは首長墓系譜で壊れ易い
事実13: もし仮に「あのゼロ成長は受け辛くてそれは調べ尽くす」ということは成り立たないとすれば分割前でない

仮説: 「その地方支配は分割前でない」ということは正しい
1. 仮定1: 以下のように仮定する。あのゼロ成長は拗らせらないがしかし企業リストラである
2. 仮定1から、推論1: "「拗らせらないし企業リストラな」物はある"が導かれる
3. 推論1と事実8から、推論2: "あの屋久島野外活動総合センターは首長墓系譜でない"が導かれる
4. 事実12から、推論3: "「あの屋久島野外活動総合センターは首長墓系譜だ」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あのゼロ成長は拗らせるということはないけれど企業リストラだ」ということは成り立たない"が導かれる
7. 推論5と事実7から、推論6: "あのゼロ成長は意味空間でない"が導かれる
8. 推論6と事実10から、推論7: "「あのゼロ成長は受け辛くて加えてそれは調べ尽くす」ということは成り立たない"が導かれる
9. 推論7と事実13から、推論8: "あのゼロ成長は分割前でない"が導かれる
10. 推論8と事実5から、推論9: "その地方支配は分割前でなくて運悪いということはない"が導かれる
11. 推論9から、仮説が導かれる

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