「「授権しないけれど御固い」モンスターはいる」ということは成り立つということはない
fact1: もし仮になにがしかのモンスターが蒸し暑いということはないなら授権するし御固い fact2: もし仮にこのみにょみえLv.82が見窄らしいし最もらしいとすると授権しない fact3: 「授権するし御固い」モンスターはいる fact4: このみにょみえLv.82は御固い fact5: 仮に「なにがしかのモンスターは蒸し暑くてさらに顕在化し易い」ということは事実でないとすると蒸し暑くない fact6: もしもこのみにょみえLv.82は見窄らしいということはない一方で最もらしいとすると授権しない fact7: このみにょみえLv.82は見窄らしくないけど最もらしい fact8: 「授権しない」モンスターはいる
fact6 & fact7 -> int1: このみにょみえLv.82は授権しない; int1 & fact4 -> int2: このみにょみえLv.82は授権しない一方で御固い; int2 -> hypothesis;
fact6 & fact7 -> int1: ¬{B}{a}; int1 & fact4 -> int2: (¬{B}{a} & {A}{a}); int2 -> hypothesis;
あのぽちゃぽねLv.1は御固い
fact10 -> int3: 仮にあのぽちゃぽねLv.1が蒸し暑くないとすればあのぽちゃぽねLv.1は授権するし更に御固い; fact9 -> int4: 「「このみにょみえLv.82は蒸し暑いししかも顕在化し易い」ということは成り立つ」ということは間違いであるとすればこのみにょみえLv.82は蒸し暑いということはない;
$facts$ = fact1: もし仮になにがしかのモンスターが蒸し暑いということはないなら授権するし御固い fact2: もし仮にこのみにょみえLv.82が見窄らしいし最もらしいとすると授権しない fact3: 「授権するし御固い」モンスターはいる fact4: このみにょみえLv.82は御固い fact5: 仮に「なにがしかのモンスターは蒸し暑くてさらに顕在化し易い」ということは事実でないとすると蒸し暑くない fact6: もしもこのみにょみえLv.82は見窄らしいということはない一方で最もらしいとすると授権しない fact7: このみにょみえLv.82は見窄らしくないけど最もらしい fact8: 「授権しない」モンスターはいる ; $hypothesis$ = 「「授権しないけれど御固い」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact6 & fact7 -> int1: このみにょみえLv.82は授権しない; int1 & fact4 -> int2: このみにょみえLv.82は授権しない一方で御固い; int2 -> hypothesis; __DISPROVED__
fact6 & fact7 -> int1: ¬{B}{a}; int1 & fact4 -> int2: (¬{B}{a} & {A}{a}); int2 -> hypothesis; __DISPROVED__