あのもくもちゅLv.87は誅しない
fact1: あらゆるモンスターは誅する fact2: なにがしかのモンスターが呼び得ないとしたらそれが誅するしその上疎ましい fact3: もし仮にあるモンスターが呼び得るとしたらそれは疎ましくないし誅しない
fact1 -> int1: あらゆるモンスターは誅する; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あのもくもちゅLv.87は誅しない
fact4 -> int2: もしもあのもくもちゅLv.87が呼び得るとしたらそれは疎ましくなくてさらに誅しない;
$facts$ = fact1: あらゆるモンスターは誅する fact2: なにがしかのモンスターが呼び得ないとしたらそれが誅するしその上疎ましい fact3: もし仮にあるモンスターが呼び得るとしたらそれは疎ましくないし誅しない ; $hypothesis$ = あのもくもちゅLv.87は誅しない ; $proof$ = 
fact1 -> int1: あらゆるモンスターは誅する; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__