「その厚手綿布は持ち合いでないけれどそれは寝苦しい」ということは成り立つ
fact1: 水臭いものは恨むかまたは解明しない fact2: もし「何らかのものは真っ白いけれど水臭くない」ということは誤っているとすればそれは水臭い fact3: 「帰属主体は持ち合いでない」ということは本当だ fact4: その軽過失はバスルームである fact5: その軽過失がバスルームであるならその厚手綿布はバスルームだ fact6: もしも何かは帰属主体だということはないけれど着替えるとするとバスルームでない fact7: 仮になんらかの物は恨むかまたは解明しないかあるいは両方であるとすればそれは考え得ない fact8: なんらかのものは沈思さないなら「それは付き難い」ということは誤っていない fact9: もし仮にあのインナーが考え得るということはないとするとあの定期健康診断は考え得ない fact10: もしも「「合成出来ないしその上結び付き易い」ということは偽である」物はあるなら「その軽過失は沈思しくない」ということは真実だ fact11: もし仮に「とあるものは帰属主体でない一方で着替える」ということは偽なら持ち合いでない fact12: もしもその厚手綿布が帰属主体ならそれは持ち合いでない fact13: もしもあの定期健康診断は考え得ないとすれば「合成出来なくて更に結び付き易い」ということは偽だ fact14: その厚手綿布は帰属主体でない fact15: もしもなんらかのものが成立し続けるならそれは寝苦しいかそれはバスルームでないかまたはどちらもである fact16: 「あのインナーは侮る」ということは確かである fact17: その厚手綿布は付き難くない一方で沈思する fact18: その厚手綿布が帰属主体であるしその上着替えるとするとバスルームでない fact19: もし仮にあのインナーは侮るとしたら「それは真っ白くてまたそれは水臭くない」ということは嘘である fact20: もし仮にその厚手綿布が付き難いということはないとするとそれは寝苦しくて更に成立し続ける
fact6 -> int1: 仮にその厚手綿布は帰属主体でないけど着替えればそれはバスルームでない; void -> assump1: 以下のように仮定する。その厚手綿布は帰属主体でないけれどそれは着替える; int1 & assump1 -> int2: その厚手綿布はバスルームでない; fact5 & fact4 -> int3: その厚手綿布はバスルームだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その厚手綿布は帰属主体でないけど着替える」ということは偽である; fact11 -> int6: もしも「その厚手綿布は帰属主体でないけれどそれは着替える」ということは本当でないとすればそれは持ち合いでない; int5 & int6 -> int7: その厚手綿布は持ち合いだということはない; fact17 -> int8: その厚手綿布は付き難くない; fact20 & int8 -> int9: その厚手綿布は寝苦しいししかも成立し続ける; int9 -> int10: 「その厚手綿布は寝苦しい」ということは真実だ; int7 & int10 -> hypothesis;
その軽過失は持ち合いでない
fact26 -> int11: もし仮にその軽過失が成立し続けるとすればそれは寝苦しいかバスルームでない; fact28 -> int12: もしその軽過失が沈思しくないとすると付き難い; fact23 -> int13: もし仮にあのインナーは恨むかあるいは解明しないか両方ともだとしたら考え得ない; fact29 -> int14: 仮にあのインナーが水臭いとすればそれは恨むかもしくは解明しない; fact22 -> int15: 仮に「あのインナーは真っ白いが水臭くない」ということは成り立つということはないとすると水臭い; fact30 & fact21 -> int16: 「あのインナーは真っ白いがしかし水臭くない」ということは成り立たない; int15 & int16 -> int17: あのインナーは水臭い; int14 & int17 -> int18: 「あのインナーは恨むかもしくは解明しないかもしくは両方である」ということは本当である; int13 & int18 -> int19: あのインナーは考え得ない; fact25 & int19 -> int20: あの定期健康診断は考え得ない; fact24 & int20 -> int21: 「あの定期健康診断は合成出来ないけど結び付き易い」ということは事実と異なる; int21 -> int22: 「「合成出来るということはなくてまた結び付き易い」ということは正しくない」ものはある; int22 & fact27 -> int23: その軽過失は沈思しくない; int12 & int23 -> int24: その軽過失は付き難い;
$facts$ = fact1: 水臭いものは恨むかまたは解明しない fact2: もし「何らかのものは真っ白いけれど水臭くない」ということは誤っているとすればそれは水臭い fact3: 「帰属主体は持ち合いでない」ということは本当だ fact4: その軽過失はバスルームである fact5: その軽過失がバスルームであるならその厚手綿布はバスルームだ fact6: もしも何かは帰属主体だということはないけれど着替えるとするとバスルームでない fact7: 仮になんらかの物は恨むかまたは解明しないかあるいは両方であるとすればそれは考え得ない fact8: なんらかのものは沈思さないなら「それは付き難い」ということは誤っていない fact9: もし仮にあのインナーが考え得るということはないとするとあの定期健康診断は考え得ない fact10: もしも「「合成出来ないしその上結び付き易い」ということは偽である」物はあるなら「その軽過失は沈思しくない」ということは真実だ fact11: もし仮に「とあるものは帰属主体でない一方で着替える」ということは偽なら持ち合いでない fact12: もしもその厚手綿布が帰属主体ならそれは持ち合いでない fact13: もしもあの定期健康診断は考え得ないとすれば「合成出来なくて更に結び付き易い」ということは偽だ fact14: その厚手綿布は帰属主体でない fact15: もしもなんらかのものが成立し続けるならそれは寝苦しいかそれはバスルームでないかまたはどちらもである fact16: 「あのインナーは侮る」ということは確かである fact17: その厚手綿布は付き難くない一方で沈思する fact18: その厚手綿布が帰属主体であるしその上着替えるとするとバスルームでない fact19: もし仮にあのインナーは侮るとしたら「それは真っ白くてまたそれは水臭くない」ということは嘘である fact20: もし仮にその厚手綿布が付き難いということはないとするとそれは寝苦しくて更に成立し続ける ; $hypothesis$ = 「その厚手綿布は持ち合いでないけれどそれは寝苦しい」ということは成り立つ ; $proof$ = 
fact6 -> int1: 仮にその厚手綿布は帰属主体でないけど着替えればそれはバスルームでない; void -> assump1: 以下のように仮定する。その厚手綿布は帰属主体でないけれどそれは着替える; int1 & assump1 -> int2: その厚手綿布はバスルームでない; fact5 & fact4 -> int3: その厚手綿布はバスルームだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その厚手綿布は帰属主体でないけど着替える」ということは偽である; fact11 -> int6: もしも「その厚手綿布は帰属主体でないけれどそれは着替える」ということは本当でないとすればそれは持ち合いでない; int5 & int6 -> int7: その厚手綿布は持ち合いだということはない; fact17 -> int8: その厚手綿布は付き難くない; fact20 & int8 -> int9: その厚手綿布は寝苦しいししかも成立し続ける; int9 -> int10: 「その厚手綿布は寝苦しい」ということは真実だ; int7 & int10 -> hypothesis; __PROVED__
事実1: 水臭いものは恨むかまたは解明しない
事実2: もし「何らかのものは真っ白いけれど水臭くない」ということは誤っているとすればそれは水臭い
事実3: 「帰属主体は持ち合いでない」ということは本当だ
事実4: その軽過失はバスルームである
事実5: その軽過失がバスルームであるならその厚手綿布はバスルームだ
事実6: もしも何かは帰属主体だということはないけれど着替えるとするとバスルームでない
事実7: 仮になんらかの物は恨むかまたは解明しないかあるいは両方であるとすればそれは考え得ない
事実8: なんらかのものは沈思さないなら「それは付き難い」ということは誤っていない
事実9: もし仮にあのインナーが考え得るということはないとするとあの定期健康診断は考え得ない
事実10: もしも「「合成出来ないしその上結び付き易い」ということは偽である」物はあるなら「その軽過失は沈思しくない」ということは真実だ
事実11: もし仮に「とあるものは帰属主体でない一方で着替える」ということは偽なら持ち合いでない
事実12: もしもその厚手綿布が帰属主体ならそれは持ち合いでない
事実13: もしもあの定期健康診断は考え得ないとすれば「合成出来なくて更に結び付き易い」ということは偽だ
事実14: その厚手綿布は帰属主体でない
事実15: もしもなんらかのものが成立し続けるならそれは寝苦しいかそれはバスルームでないかまたはどちらもである
事実16: 「あのインナーは侮る」ということは確かである
事実17: その厚手綿布は付き難くない一方で沈思する
事実18: その厚手綿布が帰属主体であるしその上着替えるとするとバスルームでない
事実19: もし仮にあのインナーは侮るとしたら「それは真っ白くてまたそれは水臭くない」ということは嘘である
事実20: もし仮にその厚手綿布が付き難いということはないとするとそれは寝苦しくて更に成立し続ける

仮説: 「その厚手綿布は持ち合いでないけれどそれは寝苦しい」ということは成り立つ
1. 事実6から、推論1: "仮にその厚手綿布は帰属主体でないけど着替えればそれはバスルームでない"が導かれる
2. 仮定1: 以下のように仮定する。その厚手綿布は帰属主体でないけれどそれは着替える
3. 推論1と仮定1から、推論2: "その厚手綿布はバスルームでない"が導かれる
4. 事実5と事実4から、推論3: "その厚手綿布はバスルームだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その厚手綿布は帰属主体でないけど着替える」ということは偽である"が導かれる
7. 事実11から、推論6: "もしも「その厚手綿布は帰属主体でないけれどそれは着替える」ということは本当でないとすればそれは持ち合いでない"が導かれる
8. 推論5と推論6から、推論7: "その厚手綿布は持ち合いだということはない"が導かれる
9. 事実17から、推論8: "その厚手綿布は付き難くない"が導かれる
10. 事実20と推論8から、推論9: "その厚手綿布は寝苦しいししかも成立し続ける"が導かれる
11. 推論9から、推論10: "「その厚手綿布は寝苦しい」ということは真実だ"が導かれる
12. 推論7と推論10から、仮説が導かれる

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