この経済波及効果は茹だる
fact1: もしもあの総力戦は第一回会合でないかもしくは巡業しないかあるいは両方ともだとしたらそれは第一回会合であるということはない fact2: もし仮に「何らかの物は第一回会合でない」ということは本当だとすれば「あどけなくなくて阿呆らしくない」ということは成り立たない fact3: もしも「あの総力戦はあどけなくないしそれは阿呆らしくない」ということは嘘であるとすればその感覚刺激は嘆息するということはない fact4: もし「なにがしかのものは処理し切れる一方で与し易くない」ということは成り立たないとしたら嘆息する fact5: その感覚刺激は嘆息するということはないなら「その立秋祭は処理し切れるかもしくはそれは与し易い」ということは誤りだ fact6: 「「捲り上げない」ということは誤りである」物はある fact7: もしもその三爻が故障するけど茹だらないとしたらこの経済波及効果は茹だるということはない fact8: もし「故障しない」ものはあるとすると「「その三爻は処理し切れるけれどそれは与し易くない」ということは確かだ」ということは本当でない fact9: この経済波及効果は与し易い fact10: このオックスフォード・ストリートは嘆息する fact11: 「この経済波及効果は茹だるけどそれは嘆息するということはない」ということは間違っている fact12: もしもその三爻は嘆息するとしたら「この経済波及効果は茹だる」ということは真実である fact13: 何らかの物は故障しない fact14: もし「嘆息するということはない」物はあれば「その三爻は茹だるしそれに与し易い」ということは偽だ fact15: 「その三爻は居る居る一方で形成され易くない」ということは成り立たない fact16: もし何らかの物が茹だるとすればそれは嘆息する fact17: 何らかの物は音楽会でない fact18: 「その三爻は処理し切れるししかも与し易い」ということは成り立たない fact19: 「その立秋祭は処理し切れるかもしくは与し易い」ということは誤っているとするとその三爻は処理し切れるということはない
fact13 & fact8 -> int1: 「その三爻は処理し切れるが与し易いということはない」ということは誤りだ; fact4 -> int2: もし仮に「その三爻は処理し切れる一方でそれは与し易くない」ということは間違いならばそれは嘆息する; int1 & int2 -> int3: その三爻は嘆息する; int3 & fact12 -> hypothesis;
この経済波及効果は茹だらない
fact24 -> int4: 仮に「あの総力戦は第一回会合でない」ということは正しいとすれば「それはあどけなくないししかも阿呆らしくない」ということは偽だ;
$facts$ = fact1: もしもあの総力戦は第一回会合でないかもしくは巡業しないかあるいは両方ともだとしたらそれは第一回会合であるということはない fact2: もし仮に「何らかの物は第一回会合でない」ということは本当だとすれば「あどけなくなくて阿呆らしくない」ということは成り立たない fact3: もしも「あの総力戦はあどけなくないしそれは阿呆らしくない」ということは嘘であるとすればその感覚刺激は嘆息するということはない fact4: もし「なにがしかのものは処理し切れる一方で与し易くない」ということは成り立たないとしたら嘆息する fact5: その感覚刺激は嘆息するということはないなら「その立秋祭は処理し切れるかもしくはそれは与し易い」ということは誤りだ fact6: 「「捲り上げない」ということは誤りである」物はある fact7: もしもその三爻が故障するけど茹だらないとしたらこの経済波及効果は茹だるということはない fact8: もし「故障しない」ものはあるとすると「「その三爻は処理し切れるけれどそれは与し易くない」ということは確かだ」ということは本当でない fact9: この経済波及効果は与し易い fact10: このオックスフォード・ストリートは嘆息する fact11: 「この経済波及効果は茹だるけどそれは嘆息するということはない」ということは間違っている fact12: もしもその三爻は嘆息するとしたら「この経済波及効果は茹だる」ということは真実である fact13: 何らかの物は故障しない fact14: もし「嘆息するということはない」物はあれば「その三爻は茹だるしそれに与し易い」ということは偽だ fact15: 「その三爻は居る居る一方で形成され易くない」ということは成り立たない fact16: もし何らかの物が茹だるとすればそれは嘆息する fact17: 何らかの物は音楽会でない fact18: 「その三爻は処理し切れるししかも与し易い」ということは成り立たない fact19: 「その立秋祭は処理し切れるかもしくは与し易い」ということは誤っているとするとその三爻は処理し切れるということはない ; $hypothesis$ = この経済波及効果は茹だる ; $proof$ = 
fact13 & fact8 -> int1: 「その三爻は処理し切れるが与し易いということはない」ということは誤りだ; fact4 -> int2: もし仮に「その三爻は処理し切れる一方でそれは与し易くない」ということは間違いならばそれは嘆息する; int1 & int2 -> int3: その三爻は嘆息する; int3 & fact12 -> hypothesis; __PROVED__
事実1: もしもあの総力戦は第一回会合でないかもしくは巡業しないかあるいは両方ともだとしたらそれは第一回会合であるということはない
事実2: もし仮に「何らかの物は第一回会合でない」ということは本当だとすれば「あどけなくなくて阿呆らしくない」ということは成り立たない
事実3: もしも「あの総力戦はあどけなくないしそれは阿呆らしくない」ということは嘘であるとすればその感覚刺激は嘆息するということはない
事実4: もし「なにがしかのものは処理し切れる一方で与し易くない」ということは成り立たないとしたら嘆息する
事実5: その感覚刺激は嘆息するということはないなら「その立秋祭は処理し切れるかもしくはそれは与し易い」ということは誤りだ
事実6: 「「捲り上げない」ということは誤りである」物はある
事実7: もしもその三爻が故障するけど茹だらないとしたらこの経済波及効果は茹だるということはない
事実8: もし「故障しない」ものはあるとすると「「その三爻は処理し切れるけれどそれは与し易くない」ということは確かだ」ということは本当でない
事実9: この経済波及効果は与し易い
事実10: このオックスフォード・ストリートは嘆息する
事実11: 「この経済波及効果は茹だるけどそれは嘆息するということはない」ということは間違っている
事実12: もしもその三爻は嘆息するとしたら「この経済波及効果は茹だる」ということは真実である
事実13: 何らかの物は故障しない
事実14: もし「嘆息するということはない」物はあれば「その三爻は茹だるしそれに与し易い」ということは偽だ
事実15: 「その三爻は居る居る一方で形成され易くない」ということは成り立たない
事実16: もし何らかの物が茹だるとすればそれは嘆息する
事実17: 何らかの物は音楽会でない
事実18: 「その三爻は処理し切れるししかも与し易い」ということは成り立たない
事実19: 「その立秋祭は処理し切れるかもしくは与し易い」ということは誤っているとするとその三爻は処理し切れるということはない

仮説: この経済波及効果は茹だる
1. 事実13と事実8から、推論1: "「その三爻は処理し切れるが与し易いということはない」ということは誤りだ"が導かれる
2. 事実4から、推論2: "もし仮に「その三爻は処理し切れる一方でそれは与し易くない」ということは間違いならばそれは嘆息する"が導かれる
3. 推論1と推論2から、推論3: "その三爻は嘆息する"が導かれる
4. 推論3と事実12から、仮説が導かれる

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