あのもえもにLv.39は敷こ踏み履くということはないけど加味する
fact1: 「仮にあるモンスターが加味しないとしたらそれは汚れ難くない」ということは確かだ fact2: 全てのモンスターは忝いし阿呆らしい fact3: 仮に忝いモンスターが掻き易いとしたら汚れ難いということはない fact4: もしとあるモンスターは忝いということはないならば「それは敷こ踏み履くということはないがしかし加味する」ということは確かでない fact5: もしも「なんらかのモンスターは敷こ踏み履かないがしかし加味する」ということは誤っているならそれは汚れ難くない
fact5 -> int1: もしも「あのもえもにLv.39は敷こ踏み履かないけど加味する」ということは成り立たないならそれは汚れ難いということはない; void -> assump1: 以下のように仮定する。「あのもえもにLv.39は敷こ踏み履くということはないがしかし加味する」ということは間違いである; int1 & assump1 -> int2: あのもえもにLv.39は汚れ難くない;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa};
以下のように仮定する。「あのもえもにLv.39は敷こ踏み履くということはないがしかし加味する」ということは間違いである
fact6 -> int3: もしあのもえもにLv.39は忝くないとしたら「それは敷こ踏み履くということはないけれど加味する」ということは成り立たない;
$facts$ = fact1: 「仮にあるモンスターが加味しないとしたらそれは汚れ難くない」ということは確かだ fact2: 全てのモンスターは忝いし阿呆らしい fact3: 仮に忝いモンスターが掻き易いとしたら汚れ難いということはない fact4: もしとあるモンスターは忝いということはないならば「それは敷こ踏み履くということはないがしかし加味する」ということは確かでない fact5: もしも「なんらかのモンスターは敷こ踏み履かないがしかし加味する」ということは誤っているならそれは汚れ難くない ; $hypothesis$ = あのもえもにLv.39は敷こ踏み履くということはないけど加味する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__