その始原期は感慨深くない
fact1: もし「「あの冒頭楽章は尊であるし何気無い」ということは誤りだということはない」ということは間違っていれば「その始原期は感慨深くない」ということは真実である fact2: もし仮にあの冒頭楽章が何気無くないとしたらその始原期は感慨深くない fact3: なんらかの物は蹌踉くないとすると「浮き沈みするかあるいは感慨深い」ということは間違いだ fact4: もしも「この前同は燕子外でないしさらにそれは蹌踉くない」ということは事実でないとすればその処理内容は蹌踉くない fact5: 「あの冒頭楽章は尊であるしおまけに感慨深い」ということは偽である fact6: その始原期は室外機でない fact7: 「もし仮にその処理内容は蹌踉くないとすれば「あの冒頭楽章は感慨深くないかあるいはそれは浮き沈みするということはないかまたは両方ともだ」ということは真実だ」ということは事実である fact8: 「あの冒頭楽章は気付き易くなくておまけに丸太学校であるということはない」ということは誤りであるならそれはむず痒くない fact9: 「あの冒頭楽章が尊だし更に何気無い」ということは事実と異なる fact10: もしもあの冒頭楽章がむず痒くないとしたら燕子外であるかもしくは敵中深いかまたはどちらもである
fact1 & fact9 -> hypothesis;
fact1 & fact9 -> hypothesis;
このファイトアレキシンは尊でない
fact12 -> int1: 仮にあの冒頭楽章は蹌踉くということはないなら「浮き沈みするかもしくはそれは感慨深いかあるいはどちらもである」ということは成り立たない;
$facts$ = fact1: もし「「あの冒頭楽章は尊であるし何気無い」ということは誤りだということはない」ということは間違っていれば「その始原期は感慨深くない」ということは真実である fact2: もし仮にあの冒頭楽章が何気無くないとしたらその始原期は感慨深くない fact3: なんらかの物は蹌踉くないとすると「浮き沈みするかあるいは感慨深い」ということは間違いだ fact4: もしも「この前同は燕子外でないしさらにそれは蹌踉くない」ということは事実でないとすればその処理内容は蹌踉くない fact5: 「あの冒頭楽章は尊であるしおまけに感慨深い」ということは偽である fact6: その始原期は室外機でない fact7: 「もし仮にその処理内容は蹌踉くないとすれば「あの冒頭楽章は感慨深くないかあるいはそれは浮き沈みするということはないかまたは両方ともだ」ということは真実だ」ということは事実である fact8: 「あの冒頭楽章は気付き易くなくておまけに丸太学校であるということはない」ということは誤りであるならそれはむず痒くない fact9: 「あの冒頭楽章が尊だし更に何気無い」ということは事実と異なる fact10: もしもあの冒頭楽章がむず痒くないとしたら燕子外であるかもしくは敵中深いかまたはどちらもである ; $hypothesis$ = その始原期は感慨深くない ; $proof$ = 
fact1 & fact9 -> hypothesis; __PROVED__
事実1: もし「「あの冒頭楽章は尊であるし何気無い」ということは誤りだということはない」ということは間違っていれば「その始原期は感慨深くない」ということは真実である
事実2: もし仮にあの冒頭楽章が何気無くないとしたらその始原期は感慨深くない
事実3: なんらかの物は蹌踉くないとすると「浮き沈みするかあるいは感慨深い」ということは間違いだ
事実4: もしも「この前同は燕子外でないしさらにそれは蹌踉くない」ということは事実でないとすればその処理内容は蹌踉くない
事実5: 「あの冒頭楽章は尊であるしおまけに感慨深い」ということは偽である
事実6: その始原期は室外機でない
事実7: 「もし仮にその処理内容は蹌踉くないとすれば「あの冒頭楽章は感慨深くないかあるいはそれは浮き沈みするということはないかまたは両方ともだ」ということは真実だ」ということは事実である
事実8: 「あの冒頭楽章は気付き易くなくておまけに丸太学校であるということはない」ということは誤りであるならそれはむず痒くない
事実9: 「あの冒頭楽章が尊だし更に何気無い」ということは事実と異なる
事実10: もしもあの冒頭楽章がむず痒くないとしたら燕子外であるかもしくは敵中深いかまたはどちらもである

仮説: その始原期は感慨深くない
1. 事実1と事実9から、仮説が導かれる

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