あの国家・社会は惨たらしい
fact1: 全てのものは生成し易いということはない fact2: もしあの鋳鉄管が白むかまたはそれが把握し難いかまたは両方であるならばその御衣は把握し難くない fact3: もし仮に何らかのものが覚え易くないとしたらばあかしかない fact4: もしもその御衣は把握し難いということはないなら「あの落札者は生成し易いということはないがそれは覚え易い」ということは間違いである fact5: もし仮に「「ばあかしいということはなくてかつ覚え易い」ということは誤りである」物があるとしたらあの国家・社会は訪中しない fact6: あの守衛は止む無し fact7: 「あの国家・社会が惨たらしいとすればあの国家・社会は人恋しい」ということは本当だ fact8: もし仮にあの国家・社会が止む無くないけど惨たらしいならそのアップル企画部は惨たらしい fact9: もしもなんらかのものが訪中するかもしくは止む無くないとしたら惨たらしいということはない fact10: あの国家・社会は止む無し fact11: もしあの国家・社会が止む無しとしたらそれは惨たらしい fact12: もし「あの量子力学はばあかしかない」ということは事実ならあの国家・社会は訪中するかまたは止む無くないか両方である fact13: もし「あの鋳鉄管は目的無しない一方で自生する」ということは事実と異なるならそれは白む fact14: もし仮になんらかの物は生成し易くないとすると「ばあかしいということはない一方で覚え易い」ということは真実でない
fact11 & fact10 -> hypothesis;
fact11 & fact10 -> hypothesis;
あの国家・社会は惨たらしいということはない
fact16 -> int1: もし仮にあの国家・社会は訪中するかあるいは止む無しということはないかもしくは両方ともだとするとそれは惨たらしくない; fact20 -> int2: 「あの量子力学は覚え易いということはない」ということは間違いであるということはないとしたらばあかしかない;
$facts$ = fact1: 全てのものは生成し易いということはない fact2: もしあの鋳鉄管が白むかまたはそれが把握し難いかまたは両方であるならばその御衣は把握し難くない fact3: もし仮に何らかのものが覚え易くないとしたらばあかしかない fact4: もしもその御衣は把握し難いということはないなら「あの落札者は生成し易いということはないがそれは覚え易い」ということは間違いである fact5: もし仮に「「ばあかしいということはなくてかつ覚え易い」ということは誤りである」物があるとしたらあの国家・社会は訪中しない fact6: あの守衛は止む無し fact7: 「あの国家・社会が惨たらしいとすればあの国家・社会は人恋しい」ということは本当だ fact8: もし仮にあの国家・社会が止む無くないけど惨たらしいならそのアップル企画部は惨たらしい fact9: もしもなんらかのものが訪中するかもしくは止む無くないとしたら惨たらしいということはない fact10: あの国家・社会は止む無し fact11: もしあの国家・社会が止む無しとしたらそれは惨たらしい fact12: もし「あの量子力学はばあかしかない」ということは事実ならあの国家・社会は訪中するかまたは止む無くないか両方である fact13: もし「あの鋳鉄管は目的無しない一方で自生する」ということは事実と異なるならそれは白む fact14: もし仮になんらかの物は生成し易くないとすると「ばあかしいということはない一方で覚え易い」ということは真実でない ; $hypothesis$ = あの国家・社会は惨たらしい ; $proof$ = 
fact11 & fact10 -> hypothesis; __PROVED__
事実1: 全てのものは生成し易いということはない
事実2: もしあの鋳鉄管が白むかまたはそれが把握し難いかまたは両方であるならばその御衣は把握し難くない
事実3: もし仮に何らかのものが覚え易くないとしたらばあかしかない
事実4: もしもその御衣は把握し難いということはないなら「あの落札者は生成し易いということはないがそれは覚え易い」ということは間違いである
事実5: もし仮に「「ばあかしいということはなくてかつ覚え易い」ということは誤りである」物があるとしたらあの国家・社会は訪中しない
事実6: あの守衛は止む無し
事実7: 「あの国家・社会が惨たらしいとすればあの国家・社会は人恋しい」ということは本当だ
事実8: もし仮にあの国家・社会が止む無くないけど惨たらしいならそのアップル企画部は惨たらしい
事実9: もしもなんらかのものが訪中するかもしくは止む無くないとしたら惨たらしいということはない
事実10: あの国家・社会は止む無し
事実11: もしあの国家・社会が止む無しとしたらそれは惨たらしい
事実12: もし「あの量子力学はばあかしかない」ということは事実ならあの国家・社会は訪中するかまたは止む無くないか両方である
事実13: もし「あの鋳鉄管は目的無しない一方で自生する」ということは事実と異なるならそれは白む
事実14: もし仮になんらかの物は生成し易くないとすると「ばあかしいということはない一方で覚え易い」ということは真実でない

仮説: あの国家・社会は惨たらしい
1. 事実11と事実10から、仮説が導かれる

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