「あの講説は成立し続けない」ということは事実だ
fact1: 「破壊し始めるしおまけにロボットな」物はある fact2: あの講説は態とらしくない fact3: もしもあのイメージコントロールサブフォルダが昇天するということはないならばあのドル金利はぎざぎざしないしまたそれはライバル関係でない fact4: あの講説が成立し続ける一方でそれが街らしいということはないとすればあの純米酢は街らしいということはない fact5: 街らしい物は成立し続ける fact6: 「なにがしかの物は街らしいがしかしぎざぎざしない」ということは真実だ fact7: 「急くし加えて山梨県警である」物はある fact8: 「もし仮に「このドル金利はぎざぎざしなくて更にライバル関係でない」ということは成り立つならばあのペディメントはぎざぎざしない」ということは真実だ fact9: 仮になんらかの物が街らしいがぎざぎざするということはないとすればあの講説は成立し続けるということはない fact10: あるものは詐取するけど安君でない fact11: なにがしかの物はぎざぎざすれば「街らしい」ということは確かだ fact12: 仮に「とあるものは根強いかあるいは絶え間無くないかあるいは両方だ」ということは成り立たないなら昇天しない fact13: 仮にそのペディメントがぎざぎざしないならあの講説はぎざぎざする
fact6 & fact9 -> hypothesis;
fact6 & fact9 -> hypothesis;
「あの純米酢は街らしくない」ということは真実である
$facts$ = fact1: 「破壊し始めるしおまけにロボットな」物はある fact2: あの講説は態とらしくない fact3: もしもあのイメージコントロールサブフォルダが昇天するということはないならばあのドル金利はぎざぎざしないしまたそれはライバル関係でない fact4: あの講説が成立し続ける一方でそれが街らしいということはないとすればあの純米酢は街らしいということはない fact5: 街らしい物は成立し続ける fact6: 「なにがしかの物は街らしいがしかしぎざぎざしない」ということは真実だ fact7: 「急くし加えて山梨県警である」物はある fact8: 「もし仮に「このドル金利はぎざぎざしなくて更にライバル関係でない」ということは成り立つならばあのペディメントはぎざぎざしない」ということは真実だ fact9: 仮になんらかの物が街らしいがぎざぎざするということはないとすればあの講説は成立し続けるということはない fact10: あるものは詐取するけど安君でない fact11: なにがしかの物はぎざぎざすれば「街らしい」ということは確かだ fact12: 仮に「とあるものは根強いかあるいは絶え間無くないかあるいは両方だ」ということは成り立たないなら昇天しない fact13: 仮にそのペディメントがぎざぎざしないならあの講説はぎざぎざする ; $hypothesis$ = 「あの講説は成立し続けない」ということは事実だ ; $proof$ = 
fact6 & fact9 -> hypothesis; __PROVED__
事実1: 「破壊し始めるしおまけにロボットな」物はある
事実2: あの講説は態とらしくない
事実3: もしもあのイメージコントロールサブフォルダが昇天するということはないならばあのドル金利はぎざぎざしないしまたそれはライバル関係でない
事実4: あの講説が成立し続ける一方でそれが街らしいということはないとすればあの純米酢は街らしいということはない
事実5: 街らしい物は成立し続ける
事実6: 「なにがしかの物は街らしいがしかしぎざぎざしない」ということは真実だ
事実7: 「急くし加えて山梨県警である」物はある
事実8: 「もし仮に「このドル金利はぎざぎざしなくて更にライバル関係でない」ということは成り立つならばあのペディメントはぎざぎざしない」ということは真実だ
事実9: 仮になんらかの物が街らしいがぎざぎざするということはないとすればあの講説は成立し続けるということはない
事実10: あるものは詐取するけど安君でない
事実11: なにがしかの物はぎざぎざすれば「街らしい」ということは確かだ
事実12: 仮に「とあるものは根強いかあるいは絶え間無くないかあるいは両方だ」ということは成り立たないなら昇天しない
事実13: 仮にそのペディメントがぎざぎざしないならあの講説はぎざぎざする

仮説: 「あの講説は成立し続けない」ということは事実だ
1. 事実6と事実9から、仮説が導かれる

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