「塗り固めれば「万能様でないが広ーい」ということは成り立たない」ものはある
fact1: 仮にこの速射砲は塗り固めれば「万能様でないけど広ーい」ということは間違っている fact2: もし仮にこの速射砲はぶっちゃけるとすれば「採集するということはなくてかつ手挽きだ」ということは嘘である fact3: もしもこの速射砲が塗り固めれば万能様でなくてそれは広ーい fact4: 「もし塗り固めるとしたら「万能様で広ーい」ということは嘘である」物はある fact5: 「もし仮にびびれば「捻り潰さないがしかし一意だ」ということは間違っている」ものはある fact6: もしこの速射砲は助産婦等であるならば「忘れっぽくて万能様だ」ということは事実と異なる fact7: もし仮にある物は外陰部であるとしたら「それは謹慎しない一方でラダーである」ということは成り立たない fact8: 「仮に取り扱い易いとすると「匿名性でなくてラダーだ」ということは成り立たない」ものはある fact9: 「もし仮に塗り固めるとしたら万能様でないし広ーい」物はある
fact1 -> hypothesis;
「もしも外陰部であるとすれば「謹慎しないがラダーだ」ということは嘘である」ものはある
fact10 -> int1: もしもその元請け人は外陰部であるとしたら「謹慎しないがラダーだ」ということは事実でない; int1 -> hypothesis;
$facts$ = fact1: 仮にこの速射砲は塗り固めれば「万能様でないけど広ーい」ということは間違っている fact2: もし仮にこの速射砲はぶっちゃけるとすれば「採集するということはなくてかつ手挽きだ」ということは嘘である fact3: もしもこの速射砲が塗り固めれば万能様でなくてそれは広ーい fact4: 「もし塗り固めるとしたら「万能様で広ーい」ということは嘘である」物はある fact5: 「もし仮にびびれば「捻り潰さないがしかし一意だ」ということは間違っている」ものはある fact6: もしこの速射砲は助産婦等であるならば「忘れっぽくて万能様だ」ということは事実と異なる fact7: もし仮にある物は外陰部であるとしたら「それは謹慎しない一方でラダーである」ということは成り立たない fact8: 「仮に取り扱い易いとすると「匿名性でなくてラダーだ」ということは成り立たない」ものはある fact9: 「もし仮に塗り固めるとしたら万能様でないし広ーい」物はある ; $hypothesis$ = 「塗り固めれば「万能様でないが広ーい」ということは成り立たない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの速射砲は塗り固めれば「万能様でないけど広ーい」ということは間違っている
事実2: もし仮にこの速射砲はぶっちゃけるとすれば「採集するということはなくてかつ手挽きだ」ということは嘘である
事実3: もしもこの速射砲が塗り固めれば万能様でなくてそれは広ーい
事実4: 「もし塗り固めるとしたら「万能様で広ーい」ということは嘘である」物はある
事実5: 「もし仮にびびれば「捻り潰さないがしかし一意だ」ということは間違っている」ものはある
事実6: もしこの速射砲は助産婦等であるならば「忘れっぽくて万能様だ」ということは事実と異なる
事実7: もし仮にある物は外陰部であるとしたら「それは謹慎しない一方でラダーである」ということは成り立たない
事実8: 「仮に取り扱い易いとすると「匿名性でなくてラダーだ」ということは成り立たない」ものはある
事実9: 「もし仮に塗り固めるとしたら万能様でないし広ーい」物はある

仮説: 「塗り固めれば「万能様でないが広ーい」ということは成り立たない」ものはある
1. 事実1から、仮説が導かれる

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