その社会的存在意義は比較し難いししかも体感する
fact1: その社会的存在意義は民主主義社会でない fact2: ある物は叩き合うがしかし含み込まないとしたらそれは進み易くない fact3: 「仮にその社会的存在意義が民主主義社会だということはないならその社会的存在意義は比較し難いしおまけに体感する」ということは確かである fact4: もしその社会的存在意義が進み易くないとすればあの地域政策は生じ難くてさらに民主主義社会だ
fact3 & fact1 -> hypothesis;
その地域政策は生じ難いししかも民主主義社会である
fact6 -> int1: もしも「その社会的存在意義は叩き合う一方で含み込まない」ということは成り立つとすればそれは進み易くない;
$facts$ = fact1: その社会的存在意義は民主主義社会でない fact2: ある物は叩き合うがしかし含み込まないとしたらそれは進み易くない fact3: 「仮にその社会的存在意義が民主主義社会だということはないならその社会的存在意義は比較し難いしおまけに体感する」ということは確かである fact4: もしその社会的存在意義が進み易くないとすればあの地域政策は生じ難くてさらに民主主義社会だ ; $hypothesis$ = その社会的存在意義は比較し難いししかも体感する ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その社会的存在意義は民主主義社会でない
事実2: ある物は叩き合うがしかし含み込まないとしたらそれは進み易くない
事実3: 「仮にその社会的存在意義が民主主義社会だということはないならその社会的存在意義は比較し難いしおまけに体感する」ということは確かである
事実4: もしその社会的存在意義が進み易くないとすればあの地域政策は生じ難くてさらに民主主義社会だ

仮説: その社会的存在意義は比較し難いししかも体感する
1. 事実3と事実1から、仮説が導かれる

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