あの出腹はおもろい
fact1: 西地中海は氷結する fact2: 仮に五円玉が用い易いとすればおもろくない fact3: なにがしかの物は五円玉であるとするとそれはおもろい fact4: あの出腹が兜であるかそれは殉葬するということはないかもしくは両方だとしたらそれはおもろい fact5: もしこの分析単位が兜であるかビルでないかあるいは両方だとするとそれは起き難い fact6: もし仮にあの出腹は殉葬しないとすると「それはおもろい」ということは事実だ fact7: あの出腹は兜であるかまたはそれは殉葬するかまたは両方ともである fact8: もしそのルーズリーフが西地中海でなくておまけにそれが御亡くなりに成らないとするとあの出腹は西地中海である fact9: もしとあるものは氷結するとすると「互生するかあるいはそれは不協和でない」ということは誤りである fact10: なにかは互生しないならばそれは五円玉でおまけにそれは用い易い fact11: 「あの出腹は互生するかもしくはそれは不協和でないかもしくは両方ともである」ということは偽だとすればその発言力は互生しない fact12: あの出腹は兜であるかもしくは殉葬しない fact13: もし仮にそのルーズリーフが互生しないとしたらあの出腹は五円玉だし用い易い
fact4 & fact12 -> hypothesis;
fact4 & fact12 -> hypothesis;
あの出腹はおもろくない
fact15 -> int1: あの出腹は五円玉だししかも用い易いとすると「それはおもろくない」ということは成り立つ;
$facts$ = fact1: 西地中海は氷結する fact2: 仮に五円玉が用い易いとすればおもろくない fact3: なにがしかの物は五円玉であるとするとそれはおもろい fact4: あの出腹が兜であるかそれは殉葬するということはないかもしくは両方だとしたらそれはおもろい fact5: もしこの分析単位が兜であるかビルでないかあるいは両方だとするとそれは起き難い fact6: もし仮にあの出腹は殉葬しないとすると「それはおもろい」ということは事実だ fact7: あの出腹は兜であるかまたはそれは殉葬するかまたは両方ともである fact8: もしそのルーズリーフが西地中海でなくておまけにそれが御亡くなりに成らないとするとあの出腹は西地中海である fact9: もしとあるものは氷結するとすると「互生するかあるいはそれは不協和でない」ということは誤りである fact10: なにかは互生しないならばそれは五円玉でおまけにそれは用い易い fact11: 「あの出腹は互生するかもしくはそれは不協和でないかもしくは両方ともである」ということは偽だとすればその発言力は互生しない fact12: あの出腹は兜であるかもしくは殉葬しない fact13: もし仮にそのルーズリーフが互生しないとしたらあの出腹は五円玉だし用い易い ; $hypothesis$ = あの出腹はおもろい ; $proof$ = 
fact4 & fact12 -> hypothesis; __PROVED__
事実1: 西地中海は氷結する
事実2: 仮に五円玉が用い易いとすればおもろくない
事実3: なにがしかの物は五円玉であるとするとそれはおもろい
事実4: あの出腹が兜であるかそれは殉葬するということはないかもしくは両方だとしたらそれはおもろい
事実5: もしこの分析単位が兜であるかビルでないかあるいは両方だとするとそれは起き難い
事実6: もし仮にあの出腹は殉葬しないとすると「それはおもろい」ということは事実だ
事実7: あの出腹は兜であるかまたはそれは殉葬するかまたは両方ともである
事実8: もしそのルーズリーフが西地中海でなくておまけにそれが御亡くなりに成らないとするとあの出腹は西地中海である
事実9: もしとあるものは氷結するとすると「互生するかあるいはそれは不協和でない」ということは誤りである
事実10: なにかは互生しないならばそれは五円玉でおまけにそれは用い易い
事実11: 「あの出腹は互生するかもしくはそれは不協和でないかもしくは両方ともである」ということは偽だとすればその発言力は互生しない
事実12: あの出腹は兜であるかもしくは殉葬しない
事実13: もし仮にそのルーズリーフが互生しないとしたらあの出腹は五円玉だし用い易い

仮説: あの出腹はおもろい
1. 事実4と事実12から、仮説が導かれる

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