「あの打球音は心弱い」ということは成り立つ
fact1: もしあのＢ級ビルタ用地は変異原性であるけど引き易くないとすれば動かし難い fact2: 仮に何らかの物は動かし難いならば「遠いけど滞り易くない」ということは成り立たない fact3: もし仮に「その習慣性は引き易いということはないしそれに変異原性でない」ということは事実と異なるとすれば動かし難くない fact4: 「あの打球音は剃り上げる」ということは成り立つ fact5: 仮にそのＥＬは白眼視するとすると「それは励めるし修整しない」ということは間違っている fact6: もしなにかは行き合わないとしたらそれは眠いし珍しい fact7: もしなんらかのものがきもいなら剃り上げる fact8: そのＥＬは突けるとすれば「あのＢ級ビルタ用地はきもいがしかし剃り上げない」ということは間違いである fact9: もしもあの打球音は剃り上げるなら「心弱い」ということは事実である fact10: もし仮に何らかの物は動かし難くないならば「滞り易くなくて遠くない」ということは成り立たない fact11: 「あのレイアウト複製は剃り上げる」ということは成り立つ fact12: 「あの打球音は左反回神経だ」ということは事実だ fact13: 全ては行き合わない fact14: もし仮にとあるものが珍しいとすると引き易くないしおまけに奉公するということはない fact15: そのＥＬは顎先であるし白眼視する fact16: もしなにかは突ければ剃り上げる fact17: その平均挿入時間は心弱い fact18: 餓鬼っぽくないものは変異原性であるしさらにタイムズである fact19: もしその習慣性はタイムズだとすれば「それは引き易いということはなくてしかも変異原性でない」ということは誤っている fact20: 「「そのＥＬは励めるが修整しない」ということは正しい」ということは偽だとしたらあのＢ級ビルタ用地は餓鬼っぽくない fact21: 「あのＢ級ビルタ用地は遠い一方でそれは滞り易いということはない」ということは嘘だとすればあの打球音は滞り易くない fact22: その十分は剃り上げる fact23: もし仮にあの打球音が滞り易くないならばあの高見馬場はきもいかもしくは突けるかもしくはどちらもだ
fact9 & fact4 -> hypothesis;
あの打球音は心弱くない
fact24 -> int1: もしもその習慣性は動かし難いということはないとすれば「滞り易くなくてかつ遠くない」ということは成り立つということはない;
$facts$ = fact1: もしあのＢ級ビルタ用地は変異原性であるけど引き易くないとすれば動かし難い fact2: 仮に何らかの物は動かし難いならば「遠いけど滞り易くない」ということは成り立たない fact3: もし仮に「その習慣性は引き易いということはないしそれに変異原性でない」ということは事実と異なるとすれば動かし難くない fact4: 「あの打球音は剃り上げる」ということは成り立つ fact5: 仮にそのＥＬは白眼視するとすると「それは励めるし修整しない」ということは間違っている fact6: もしなにかは行き合わないとしたらそれは眠いし珍しい fact7: もしなんらかのものがきもいなら剃り上げる fact8: そのＥＬは突けるとすれば「あのＢ級ビルタ用地はきもいがしかし剃り上げない」ということは間違いである fact9: もしもあの打球音は剃り上げるなら「心弱い」ということは事実である fact10: もし仮に何らかの物は動かし難くないならば「滞り易くなくて遠くない」ということは成り立たない fact11: 「あのレイアウト複製は剃り上げる」ということは成り立つ fact12: 「あの打球音は左反回神経だ」ということは事実だ fact13: 全ては行き合わない fact14: もし仮にとあるものが珍しいとすると引き易くないしおまけに奉公するということはない fact15: そのＥＬは顎先であるし白眼視する fact16: もしなにかは突ければ剃り上げる fact17: その平均挿入時間は心弱い fact18: 餓鬼っぽくないものは変異原性であるしさらにタイムズである fact19: もしその習慣性はタイムズだとすれば「それは引き易いということはなくてしかも変異原性でない」ということは誤っている fact20: 「「そのＥＬは励めるが修整しない」ということは正しい」ということは偽だとしたらあのＢ級ビルタ用地は餓鬼っぽくない fact21: 「あのＢ級ビルタ用地は遠い一方でそれは滞り易いということはない」ということは嘘だとすればあの打球音は滞り易くない fact22: その十分は剃り上げる fact23: もし仮にあの打球音が滞り易くないならばあの高見馬場はきもいかもしくは突けるかもしくはどちらもだ ; $hypothesis$ = 「あの打球音は心弱い」ということは成り立つ ; $proof$ = 
fact9 & fact4 -> 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: もし仮にあの打球音が滞り易くないならばあの高見馬場はきもいかもしくは突けるかもしくはどちらもだ

仮説: 「あの打球音は心弱い」ということは成り立つ
1. 事実9と事実4から、仮説が導かれる

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