あの親戚中はしゃあ無い
fact1: 理論分析はしゃあ無くないしさらにフェース面でない fact2: もしも何らかの物がフェース面でないがしかしそれが理論分析であるならあの親戚中はしゃあ無い fact3: なんらかのものはフェース面であるということはないがしかしそれは理論分析だ fact4: 著しかない物はコルトＭであるかもしくは理論分析であるかまたは両方ともである fact5: もしも「あのぽっと出は理論分析で加えてフェース面だ」ということは成り立たないとしたら「あの親戚中は成り果てるということはない」ということは成り立つ
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
とある物は成り果てない一方で遣り難い
$facts$ = fact1: 理論分析はしゃあ無くないしさらにフェース面でない fact2: もしも何らかの物がフェース面でないがしかしそれが理論分析であるならあの親戚中はしゃあ無い fact3: なんらかのものはフェース面であるということはないがしかしそれは理論分析だ fact4: 著しかない物はコルトＭであるかもしくは理論分析であるかまたは両方ともである fact5: もしも「あのぽっと出は理論分析で加えてフェース面だ」ということは成り立たないとしたら「あの親戚中は成り果てるということはない」ということは成り立つ ; $hypothesis$ = あの親戚中はしゃあ無い ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: 理論分析はしゃあ無くないしさらにフェース面でない
事実2: もしも何らかの物がフェース面でないがしかしそれが理論分析であるならあの親戚中はしゃあ無い
事実3: なんらかのものはフェース面であるということはないがしかしそれは理論分析だ
事実4: 著しかない物はコルトＭであるかもしくは理論分析であるかまたは両方ともである
事実5: もしも「あのぽっと出は理論分析で加えてフェース面だ」ということは成り立たないとしたら「あの親戚中は成り果てるということはない」ということは成り立つ

仮説: あの親戚中はしゃあ無い
1. 事実3と事実2から、仮説が導かれる

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