そのＭＡＣは顕在化し易くない
fact1: もし仮にこの電子出願が弥次るとすればそれは顕在化し易い fact2: 仮になにかは漲るならそれは顕在化し易い fact3: もしもそのＭＡＣが弥次るならこの電子出願は顕在化し易い fact4: もし仮にとあるものが漲るとすると弥次る fact5: もしもなにがしかの物は近しくないとすると「漲らないしかつそれは弥次るない」ということは間違っている fact6: もし仮にこの電子出願が弥次るならそのＭＡＣは漲る fact7: そのソサエティーは弥次る fact8: もしそのＭＡＣが漲るとすれば弥次る fact9: この電子出願は弥次る
fact6 & fact9 -> int1: そのＭＡＣは漲る; fact2 -> int2: 「そのＭＡＣは漲る」ということは成り立てばそれは顕在化し易い; int1 & int2 -> hypothesis;
fact6 & fact9 -> int1: {B}{b}; fact2 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
そのＭＡＣは顕在化し易いということはない
fact10 -> int3: もし仮にそのＭＡＣは近しくないとしたら「漲らなくておまけに弥次るということはない」ということは誤っている;
$facts$ = fact1: もし仮にこの電子出願が弥次るとすればそれは顕在化し易い fact2: 仮になにかは漲るならそれは顕在化し易い fact3: もしもそのＭＡＣが弥次るならこの電子出願は顕在化し易い fact4: もし仮にとあるものが漲るとすると弥次る fact5: もしもなにがしかの物は近しくないとすると「漲らないしかつそれは弥次るない」ということは間違っている fact6: もし仮にこの電子出願が弥次るならそのＭＡＣは漲る fact7: そのソサエティーは弥次る fact8: もしそのＭＡＣが漲るとすれば弥次る fact9: この電子出願は弥次る ; $hypothesis$ = そのＭＡＣは顕在化し易くない ; $proof$ = 
fact6 & fact9 -> int1: そのＭＡＣは漲る; fact2 -> int2: 「そのＭＡＣは漲る」ということは成り立てばそれは顕在化し易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの電子出願が弥次るとすればそれは顕在化し易い
事実2: 仮になにかは漲るならそれは顕在化し易い
事実3: もしもそのＭＡＣが弥次るならこの電子出願は顕在化し易い
事実4: もし仮にとあるものが漲るとすると弥次る
事実5: もしもなにがしかの物は近しくないとすると「漲らないしかつそれは弥次るない」ということは間違っている
事実6: もし仮にこの電子出願が弥次るならそのＭＡＣは漲る
事実7: そのソサエティーは弥次る
事実8: もしそのＭＡＣが漲るとすれば弥次る
事実9: この電子出願は弥次る

仮説: そのＭＡＣは顕在化し易くない
1. 事実6と事実9から、推論1: "そのＭＡＣは漲る"が導かれる
2. 事実2から、推論2: "「そのＭＡＣは漲る」ということは成り立てばそれは顕在化し易い"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。