「もし仮に「所狭くない」ということは正しいとすれば主題役割でない」ものはある
fact1: もし仮になにがしかの物が所狭くないとすればそれは組み合わせ方でない fact2: あの花婿が所狭しとすればそれは主題役割でない fact3: 「あの花婿が所狭くないとするとあの花婿は主題役割でない」ということは本当だ fact4: 「「分取する」ということは事実だとすると心細くない」ものはある fact5: 「もし仮に所狭しということはないとしたら主題役割である」物はある
fact3 -> hypothesis;
もしもそのスタビライザータンクが所狭くないとすると組み合わせ方であるということはない
fact6 -> hypothesis;
$facts$ = fact1: もし仮になにがしかの物が所狭くないとすればそれは組み合わせ方でない fact2: あの花婿が所狭しとすればそれは主題役割でない fact3: 「あの花婿が所狭くないとするとあの花婿は主題役割でない」ということは本当だ fact4: 「「分取する」ということは事実だとすると心細くない」ものはある fact5: 「もし仮に所狭しということはないとしたら主題役割である」物はある ; $hypothesis$ = 「もし仮に「所狭くない」ということは正しいとすれば主題役割でない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が所狭くないとすればそれは組み合わせ方でない
事実2: あの花婿が所狭しとすればそれは主題役割でない
事実3: 「あの花婿が所狭くないとするとあの花婿は主題役割でない」ということは本当だ
事実4: 「「分取する」ということは事実だとすると心細くない」ものはある
事実5: 「もし仮に所狭しということはないとしたら主題役割である」物はある

仮説: 「もし仮に「所狭くない」ということは正しいとすれば主題役割でない」ものはある
1. 事実3から、仮説が導かれる

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