この県単位は酔漢だ
fact1: 仮に何らかの物は心配し過ぎないとすればそれは腕捲りで更に上る fact2: 酔漢は心配し過ぎない fact3: 仮にその田皮・田骨慣行はコンピュータ会社なら「被害額であるということはないし更にそれは無菌状態でない」ということは真実だ fact4: あの繻子は暗過ぎるということはないかあるいはそれは科学的社会主義だ fact5: その拠点集落は上るかもしくは腕捲りであるかもしくは両方ともだ fact6: もし仮にその田皮・田骨慣行は冷やさないとすると「それは掘り尽くすしさらにそれは伏さない」ということは真実であるということはない fact7: もしも「なにかは上るということはないかまたはそれは腕捲りである」ということは誤りでないとすればそれは心配し過ぎない fact8: 「もし「その田皮・田骨慣行は掘り尽くすけど伏さない」ということは成り立たないならばあの朝っぱらは伏す」ということは成り立つ fact9: もしも「あの繻子はマゾだ」ということは正しいとしたら投資するしさらにそれは光量子仮説でない fact10: もしもとある物は暗過ぎないならばそれは腕捲りである fact11: その田皮・田骨慣行は被害額でないならば冷やさない fact12: あの繻子はマゾである fact13: なにがしかのものが上らないとすれば暗過ぎないが腕捲りだ fact14: もし仮にその拠点集落が光量子仮説でないならばこの県単位は上るということはないし心配し過ぎない fact15: もし仮にその拠点集落は心配し過ぎないとすれば「この県単位は酔漢だ」ということは本当である fact16: もし仮に「とある物はマゾでないけど投資する」ということは成り立つということはないならそれは光量子仮説でない fact17: もし仮にあの朝っぱらが目隠しするかそれが伏すかもしくは両方ともであるとすればあの繻子はアジェでない fact18: もし仮に「その拠点集落は暗過ぎる」ということは正しいとするとあの繻子は三ＰＸでないしおまけに科学的社会主義でない fact19: とあるものは暗過ぎないが腕捲りであるとすればそれは酔漢だということはない fact20: もしもあの繻子はアジェでないとしたら「「その拠点集落はマゾだということはないけどそれは投資する」ということは嘘である」ということは正しい fact21: あるものが投資する一方で光量子仮説でないならそれは科学的社会主義である
void -> assump1: 以下のように仮定する。その拠点集落は暗過ぎる; fact18 & assump1 -> int1: あの繻子は三ＰＸでないしかつ科学的社会主義でない; int1 -> int2: あの繻子は科学的社会主義でない; fact9 & fact12 -> int3: あの繻子は投資するが光量子仮説でない; fact21 -> int4: もしあの繻子が投資するがそれは光量子仮説でないとしたら科学的社会主義だ; int3 & int4 -> int5: あの繻子は科学的社会主義だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その拠点集落は暗過ぎるということはない; fact10 -> int8: もしもその拠点集落が暗過ぎないとすればそれは腕捲りである; int7 & int8 -> int9: その拠点集落は腕捲りである; int9 -> int10: その拠点集落は上らないか腕捲りであるかまたはどちらもである; fact7 -> int11: もしその拠点集落が上らないかもしくは腕捲りであるならば「心配し過ぎない」ということは成り立つ; int10 & int11 -> int12: その拠点集落は心配し過ぎない; int12 & fact15 -> hypothesis;
この県単位は酔漢でない
fact22 -> int13: もしもこの県単位は暗過ぎないがしかし腕捲りであるとすれば「酔漢でない」ということは確かだ; fact31 -> int14: 「この県単位は上らない」ということは成り立つとするとそれは暗過ぎないけれど腕捲りだ; fact25 -> int15: 「その拠点集落はマゾでないけれど投資する」ということは成り立つということはないとすると光量子仮説でない;
$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: 以下のように仮定する。その拠点集落は暗過ぎる; fact18 & assump1 -> int1: あの繻子は三ＰＸでないしかつ科学的社会主義でない; int1 -> int2: あの繻子は科学的社会主義でない; fact9 & fact12 -> int3: あの繻子は投資するが光量子仮説でない; fact21 -> int4: もしあの繻子が投資するがそれは光量子仮説でないとしたら科学的社会主義だ; int3 & int4 -> int5: あの繻子は科学的社会主義だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その拠点集落は暗過ぎるということはない; fact10 -> int8: もしもその拠点集落が暗過ぎないとすればそれは腕捲りである; int7 & int8 -> int9: その拠点集落は腕捲りである; int9 -> int10: その拠点集落は上らないか腕捲りであるかまたはどちらもである; fact7 -> int11: もしその拠点集落が上らないかもしくは腕捲りであるならば「心配し過ぎない」ということは成り立つ; int10 & int11 -> int12: その拠点集落は心配し過ぎない; int12 & fact15 -> 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. 事実18と仮定1から、推論1: "あの繻子は三ＰＸでないしかつ科学的社会主義でない"が導かれる
3. 推論1から、推論2: "あの繻子は科学的社会主義でない"が導かれる
4. 事実9と事実12から、推論3: "あの繻子は投資するが光量子仮説でない"が導かれる
5. 事実21から、推論4: "もしあの繻子が投資するがそれは光量子仮説でないとしたら科学的社会主義だ"が導かれる
6. 推論3と推論4から、推論5: "あの繻子は科学的社会主義だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その拠点集落は暗過ぎるということはない"が導かれる
9. 事実10から、推論8: "もしもその拠点集落が暗過ぎないとすればそれは腕捲りである"が導かれる
10. 推論7と推論8から、推論9: "その拠点集落は腕捲りである"が導かれる
11. 推論9から、推論10: "その拠点集落は上らないか腕捲りであるかまたはどちらもである"が導かれる
12. 事実7から、推論11: "もしその拠点集落が上らないかもしくは腕捲りであるならば「心配し過ぎない」ということは成り立つ"が導かれる
13. 推論10と推論11から、推論12: "その拠点集落は心配し過ぎない"が導かれる
14. 推論12と事実15から、仮説が導かれる

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