そのもねもにゃLv.51は潜めない
fact1: 全てのモンスターは潜める fact2: 「すべてのモンスターは生々しくない」ということは成り立つ fact3: 薄くないモンスターはあざといし潜める
fact1 -> int1: 全てのモンスターは潜める; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターはあざとい
fact4 -> int2: もしそのもねもにゃLv.51が薄くないとするとあざとくてさらに潜める; fact5 -> int3: そのもねもにゃLv.51は生々しくない;
$facts$ = fact1: 全てのモンスターは潜める fact2: 「すべてのモンスターは生々しくない」ということは成り立つ fact3: 薄くないモンスターはあざといし潜める ; $hypothesis$ = そのもねもにゃLv.51は潜めない ; $proof$ = 
fact1 -> int1: 全てのモンスターは潜める; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__