あの私室は反発しない
fact1: 「その群れは抵当でないけれどど偉い」ということは成り立つということはない fact2: 地中深いものは次ぐ fact3: もし仮に「このサイズ：Ｓ〜ＸＬは浅しし地中深い」ということは成り立たないとしたらあの女性等はど偉くない fact4: 「「横並びだしさらに五十六年度だ」ということは成り立たない」ものはある fact5: 「このサイズ：Ｓ〜ＸＬはど偉い」ということは本当である fact6: 浅し物が次はない fact7: もし仮にこのサイズ：Ｓ〜ＸＬが温存するしど偉いとすれば次はない fact8: このサイズ：Ｓ〜ＸＬは温存するしかつど偉い fact9: もしも「「横並びであるし五十六年度である」ということは事実と異なる」物があればその群れは五十六年度でない fact10: 仮にあの公共職業訓練が創設しないならあの私室は反発しない fact11: あの女性等は涙ぐましくないならば「その群れは涙ぐましいし抵当だ」ということは間違いだ fact12: もしその群れが五十六年度でないとしたらあの女性等は取り難くない fact13: 浅しものは反発する fact14: もし仮に「その群れは涙ぐましくてさらに抵当である」ということは嘘だとすればあの公共職業訓練は創設しない fact15: このサイズ：Ｓ〜ＸＬが次はないならば「あの女性等は地中深くないけど浅し」ということは間違いである fact16: 仮に「なんらかのものは地中深くないが浅し」ということは嘘であるなら涙ぐましくない fact17: 「このサイズ：Ｓ〜ＸＬが次ぐとするとあの私室は浅し」ということは本当だ fact18: 涙ぐましくないものは抵当であるならそれは地中深い fact19: あるものが創設するということはないとしたらそれは涙ぐましくないけれど抵当だ fact20: 仮になにがしかのものが扱い易いなら狙い難くない fact21: 取り難いということはないものは創設するかあるいは甘辛いかあるいは両方ともである
fact7 & fact8 -> int1: このサイズ：Ｓ〜ＸＬが次はない; int1 & fact15 -> int2: 「あの女性等は地中深くない一方で浅し」ということは誤りである; fact16 -> int3: 仮に「あの女性等は地中深くないけれどそれは浅し」ということは事実でないなら涙ぐましくない; int2 & int3 -> int4: あの女性等は涙ぐましくない; int4 & fact11 -> int5: 「その群れは涙ぐましいし抵当である」ということは嘘だ; int5 & fact14 -> int6: あの公共職業訓練は創設しない; int6 & fact10 -> hypothesis;
あの私室は反発する
fact30 -> int7: もし「あの私室は浅しない」ということは誤りであるとしたら反発する; fact26 -> int8: もし仮にこのサイズ：Ｓ〜ＸＬは地中深いとすれば「次ぐ」ということは成り立つ; fact22 -> int9: もしこのサイズ：Ｓ〜ＸＬは涙ぐましくないけどそれは抵当であるとすると「地中深い」ということは真実だ; fact23 -> int10: 「仮にこのサイズ：Ｓ〜ＸＬが創設しないとするとこのサイズ：Ｓ〜ＸＬは涙ぐましくない一方で抵当だ」ということは成り立つ; fact24 -> int11: 仮にあの女性等が取り難くないとしたら創設するかそれは甘辛いかあるいは両方ともである; fact28 & fact25 -> int12: その群れは五十六年度でない; fact27 & int12 -> int13: 「あの女性等は取り難いということはない」ということは真実である; int11 & int13 -> int14: 「あの女性等は創設するかあるいは甘辛い」ということは成り立つ;
$facts$ = fact1: 「その群れは抵当でないけれどど偉い」ということは成り立つということはない fact2: 地中深いものは次ぐ fact3: もし仮に「このサイズ：Ｓ〜ＸＬは浅しし地中深い」ということは成り立たないとしたらあの女性等はど偉くない fact4: 「「横並びだしさらに五十六年度だ」ということは成り立たない」ものはある fact5: 「このサイズ：Ｓ〜ＸＬはど偉い」ということは本当である fact6: 浅し物が次はない fact7: もし仮にこのサイズ：Ｓ〜ＸＬが温存するしど偉いとすれば次はない fact8: このサイズ：Ｓ〜ＸＬは温存するしかつど偉い fact9: もしも「「横並びであるし五十六年度である」ということは事実と異なる」物があればその群れは五十六年度でない fact10: 仮にあの公共職業訓練が創設しないならあの私室は反発しない fact11: あの女性等は涙ぐましくないならば「その群れは涙ぐましいし抵当だ」ということは間違いだ fact12: もしその群れが五十六年度でないとしたらあの女性等は取り難くない fact13: 浅しものは反発する fact14: もし仮に「その群れは涙ぐましくてさらに抵当である」ということは嘘だとすればあの公共職業訓練は創設しない fact15: このサイズ：Ｓ〜ＸＬが次はないならば「あの女性等は地中深くないけど浅し」ということは間違いである fact16: 仮に「なんらかのものは地中深くないが浅し」ということは嘘であるなら涙ぐましくない fact17: 「このサイズ：Ｓ〜ＸＬが次ぐとするとあの私室は浅し」ということは本当だ fact18: 涙ぐましくないものは抵当であるならそれは地中深い fact19: あるものが創設するということはないとしたらそれは涙ぐましくないけれど抵当だ fact20: 仮になにがしかのものが扱い易いなら狙い難くない fact21: 取り難いということはないものは創設するかあるいは甘辛いかあるいは両方ともである ; $hypothesis$ = あの私室は反発しない ; $proof$ = 
fact7 & fact8 -> int1: このサイズ：Ｓ〜ＸＬが次はない; int1 & fact15 -> int2: 「あの女性等は地中深くない一方で浅し」ということは誤りである; fact16 -> int3: 仮に「あの女性等は地中深くないけれどそれは浅し」ということは事実でないなら涙ぐましくない; int2 & int3 -> int4: あの女性等は涙ぐましくない; int4 & fact11 -> int5: 「その群れは涙ぐましいし抵当である」ということは嘘だ; int5 & fact14 -> int6: あの公共職業訓練は創設しない; int6 & fact10 -> hypothesis; __PROVED__
事実1: 「その群れは抵当でないけれどど偉い」ということは成り立つということはない
事実2: 地中深いものは次ぐ
事実3: もし仮に「このサイズ：Ｓ〜ＸＬは浅しし地中深い」ということは成り立たないとしたらあの女性等はど偉くない
事実4: 「「横並びだしさらに五十六年度だ」ということは成り立たない」ものはある
事実5: 「このサイズ：Ｓ〜ＸＬはど偉い」ということは本当である
事実6: 浅し物が次はない
事実7: もし仮にこのサイズ：Ｓ〜ＸＬが温存するしど偉いとすれば次はない
事実8: このサイズ：Ｓ〜ＸＬは温存するしかつど偉い
事実9: もしも「「横並びであるし五十六年度である」ということは事実と異なる」物があればその群れは五十六年度でない
事実10: 仮にあの公共職業訓練が創設しないならあの私室は反発しない
事実11: あの女性等は涙ぐましくないならば「その群れは涙ぐましいし抵当だ」ということは間違いだ
事実12: もしその群れが五十六年度でないとしたらあの女性等は取り難くない
事実13: 浅しものは反発する
事実14: もし仮に「その群れは涙ぐましくてさらに抵当である」ということは嘘だとすればあの公共職業訓練は創設しない
事実15: このサイズ：Ｓ〜ＸＬが次はないならば「あの女性等は地中深くないけど浅し」ということは間違いである
事実16: 仮に「なんらかのものは地中深くないが浅し」ということは嘘であるなら涙ぐましくない
事実17: 「このサイズ：Ｓ〜ＸＬが次ぐとするとあの私室は浅し」ということは本当だ
事実18: 涙ぐましくないものは抵当であるならそれは地中深い
事実19: あるものが創設するということはないとしたらそれは涙ぐましくないけれど抵当だ
事実20: 仮になにがしかのものが扱い易いなら狙い難くない
事実21: 取り難いということはないものは創設するかあるいは甘辛いかあるいは両方ともである

仮説: あの私室は反発しない
1. 事実7と事実8から、推論1: "このサイズ：Ｓ〜ＸＬが次はない"が導かれる
2. 推論1と事実15から、推論2: "「あの女性等は地中深くない一方で浅し」ということは誤りである"が導かれる
3. 事実16から、推論3: "仮に「あの女性等は地中深くないけれどそれは浅し」ということは事実でないなら涙ぐましくない"が導かれる
4. 推論2と推論3から、推論4: "あの女性等は涙ぐましくない"が導かれる
5. 推論4と事実11から、推論5: "「その群れは涙ぐましいし抵当である」ということは嘘だ"が導かれる
6. 推論5と事実14から、推論6: "あの公共職業訓練は創設しない"が導かれる
7. 推論6と事実10から、仮説が導かれる

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