その季節変動は黄変するし弱々しい
fact1: 「その表門はむくつけしないけれどそれはびくつく」ということは成り立たない fact2: あの冒頭楽章は弱々しいしさらに合併し易い fact3: 仮にその景色は黄変するとすれば「この二十一型は当つがしかしそれは心弱いということはない」ということは誤りである fact4: 仮にその景色は黄変すれば「「この二十一型は当つないししかも心弱いということはない」ということは成り立つ」ということは誤りである fact5: 「この二十一型は当つないがしかし心弱い」ということは成り立たない fact6: もし「なんらかの物は取り残さない」ということは間違いでないとしたらびくつかなくて加えて浅ましい fact7: もし「この二十一型は当つないし加えて心弱くない」ということは嘘だとすればその表門はむくつけしない fact8: もし「この二十一型は浅ましくないし黄変するということはない」ということは成り立たないとしたらその季節変動は心弱くない fact9: もしもその表門は入手し易いとすると「「この二十一型は大人である一方で御労しくない」ということは偽である」ということは本当だ fact10: 「その季節変動は弱々しかない一方でむくつけし」ということは確かでない fact11: 「「この二十一型は大人であるけれどそれは御労しいということはない」ということは成り立たない」ということは事実であるとしたら「それは大人であるということはない」ということは本当だ fact12: 仮になにかは昼夜逆転するし描き易いとすれば取り残さない fact13: その季節変動は浅ましい fact14: その季節変動は弱々しい fact15: 「その景色は知識経験で当つ」ということは正しい fact16: その景色はびくつく fact17: もしその景色は黄変するとすると「この二十一型は当つないけど心弱い」ということは偽である fact18: もしも「なにがしかのものはむくつけしない一方でびくつく」ということは成り立たないとしたらそれはむくつけし fact19: もし仮に何らかの物が大人でないとするとそれは昼夜逆転するしおまけに描き易い fact20: 「この二十一型は心弱くない一方で黄変する」ということは誤りだ fact21: その景色が黄変しないとするとその季節変動は浅ましい fact22: 「その表門はむくつけししまたびくつく」ということは誤りである fact23: 仮にこの二十一型がびくつかない一方でそれが浅ましいならその景色はむくつけし fact24: その表門は弱々しい fact25: その景色が黄変しないとすればあの季節変動は浅ましくて加えてそれは黄変する fact26: 「この二十一型は当つがしかし心弱くない」ということは偽だ
void -> assump1: 以下のように仮定する。その景色は黄変する; fact4 & assump1 -> int1: 「この二十一型は当つないし心弱くない」ということは成り立たない; int1 & fact7 -> int2: その表門はむくつけしということはない; fact18 -> int3: もしも「その表門はむくつけしないがびくつく」ということは成り立たないなら「それはむくつけし」ということは正しい; int3 & fact1 -> int4: その表門はむくつけし; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その景色は黄変しない; int6 & fact25 -> int7: 「その季節変動は浅ましいし黄変する」ということは真実である; int7 -> int8: その季節変動は黄変する; int8 & fact14 -> hypothesis;
「その季節変動は黄変するし弱々しい」ということは事実でない
fact29 -> int9: もし仮にこの二十一型が取り残さないならばそれはびくつくということはないがしかし浅ましい; fact31 -> int10: この二十一型が昼夜逆転するし加えて描き易いとしたらそれは取り残さない; fact27 -> int11: もしもこの二十一型は大人でないとしたら「それは昼夜逆転するしさらにそれは描き易い」ということは正しい;
$facts$ = fact1: 「その表門はむくつけしないけれどそれはびくつく」ということは成り立たない fact2: あの冒頭楽章は弱々しいしさらに合併し易い fact3: 仮にその景色は黄変するとすれば「この二十一型は当つがしかしそれは心弱いということはない」ということは誤りである fact4: 仮にその景色は黄変すれば「「この二十一型は当つないししかも心弱いということはない」ということは成り立つ」ということは誤りである fact5: 「この二十一型は当つないがしかし心弱い」ということは成り立たない fact6: もし「なんらかの物は取り残さない」ということは間違いでないとしたらびくつかなくて加えて浅ましい fact7: もし「この二十一型は当つないし加えて心弱くない」ということは嘘だとすればその表門はむくつけしない fact8: もし「この二十一型は浅ましくないし黄変するということはない」ということは成り立たないとしたらその季節変動は心弱くない fact9: もしもその表門は入手し易いとすると「「この二十一型は大人である一方で御労しくない」ということは偽である」ということは本当だ fact10: 「その季節変動は弱々しかない一方でむくつけし」ということは確かでない fact11: 「「この二十一型は大人であるけれどそれは御労しいということはない」ということは成り立たない」ということは事実であるとしたら「それは大人であるということはない」ということは本当だ fact12: 仮になにかは昼夜逆転するし描き易いとすれば取り残さない fact13: その季節変動は浅ましい fact14: その季節変動は弱々しい fact15: 「その景色は知識経験で当つ」ということは正しい fact16: その景色はびくつく fact17: もしその景色は黄変するとすると「この二十一型は当つないけど心弱い」ということは偽である fact18: もしも「なにがしかのものはむくつけしない一方でびくつく」ということは成り立たないとしたらそれはむくつけし fact19: もし仮に何らかの物が大人でないとするとそれは昼夜逆転するしおまけに描き易い fact20: 「この二十一型は心弱くない一方で黄変する」ということは誤りだ fact21: その景色が黄変しないとするとその季節変動は浅ましい fact22: 「その表門はむくつけししまたびくつく」ということは誤りである fact23: 仮にこの二十一型がびくつかない一方でそれが浅ましいならその景色はむくつけし fact24: その表門は弱々しい fact25: その景色が黄変しないとすればあの季節変動は浅ましくて加えてそれは黄変する fact26: 「この二十一型は当つがしかし心弱くない」ということは偽だ ; $hypothesis$ = その季節変動は黄変するし弱々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その景色は黄変する; fact4 & assump1 -> int1: 「この二十一型は当つないし心弱くない」ということは成り立たない; int1 & fact7 -> int2: その表門はむくつけしということはない; fact18 -> int3: もしも「その表門はむくつけしないがびくつく」ということは成り立たないなら「それはむくつけし」ということは正しい; int3 & fact1 -> int4: その表門はむくつけし; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その景色は黄変しない; int6 & fact25 -> int7: 「その季節変動は浅ましいし黄変する」ということは真実である; int7 -> int8: その季節変動は黄変する; int8 & fact14 -> hypothesis; __PROVED__
事実1: 「その表門はむくつけしないけれどそれはびくつく」ということは成り立たない
事実2: あの冒頭楽章は弱々しいしさらに合併し易い
事実3: 仮にその景色は黄変するとすれば「この二十一型は当つがしかしそれは心弱いということはない」ということは誤りである
事実4: 仮にその景色は黄変すれば「「この二十一型は当つないししかも心弱いということはない」ということは成り立つ」ということは誤りである
事実5: 「この二十一型は当つないがしかし心弱い」ということは成り立たない
事実6: もし「なんらかの物は取り残さない」ということは間違いでないとしたらびくつかなくて加えて浅ましい
事実7: もし「この二十一型は当つないし加えて心弱くない」ということは嘘だとすればその表門はむくつけしない
事実8: もし「この二十一型は浅ましくないし黄変するということはない」ということは成り立たないとしたらその季節変動は心弱くない
事実9: もしもその表門は入手し易いとすると「「この二十一型は大人である一方で御労しくない」ということは偽である」ということは本当だ
事実10: 「その季節変動は弱々しかない一方でむくつけし」ということは確かでない
事実11: 「「この二十一型は大人であるけれどそれは御労しいということはない」ということは成り立たない」ということは事実であるとしたら「それは大人であるということはない」ということは本当だ
事実12: 仮になにかは昼夜逆転するし描き易いとすれば取り残さない
事実13: その季節変動は浅ましい
事実14: その季節変動は弱々しい
事実15: 「その景色は知識経験で当つ」ということは正しい
事実16: その景色はびくつく
事実17: もしその景色は黄変するとすると「この二十一型は当つないけど心弱い」ということは偽である
事実18: もしも「なにがしかのものはむくつけしない一方でびくつく」ということは成り立たないとしたらそれはむくつけし
事実19: もし仮に何らかの物が大人でないとするとそれは昼夜逆転するしおまけに描き易い
事実20: 「この二十一型は心弱くない一方で黄変する」ということは誤りだ
事実21: その景色が黄変しないとするとその季節変動は浅ましい
事実22: 「その表門はむくつけししまたびくつく」ということは誤りである
事実23: 仮にこの二十一型がびくつかない一方でそれが浅ましいならその景色はむくつけし
事実24: その表門は弱々しい
事実25: その景色が黄変しないとすればあの季節変動は浅ましくて加えてそれは黄変する
事実26: 「この二十一型は当つがしかし心弱くない」ということは偽だ

仮説: その季節変動は黄変するし弱々しい
1. 仮定1: 以下のように仮定する。その景色は黄変する
2. 事実4と仮定1から、推論1: "「この二十一型は当つないし心弱くない」ということは成り立たない"が導かれる
3. 推論1と事実7から、推論2: "その表門はむくつけしということはない"が導かれる
4. 事実18から、推論3: "もしも「その表門はむくつけしないがびくつく」ということは成り立たないなら「それはむくつけし」ということは正しい"が導かれる
5. 推論3と事実1から、推論4: "その表門はむくつけし"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その景色は黄変しない"が導かれる
8. 推論6と事実25から、推論7: "「その季節変動は浅ましいし黄変する」ということは真実である"が導かれる
9. 推論7から、推論8: "その季節変動は黄変する"が導かれる
10. 推論8と事実14から、仮説が導かれる

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