「「仮に鋭いとすると「把持しなくて間違い無くない」ということは成り立たない」モンスターはいる」ということは誤りである
fact1: もしなんらかのモンスターは鋭いなら「それは把持しないし加えて間違い無いということはない」ということは嘘だ
fact1 -> int1: 仮にあのもゆもやLv.38は鋭いとすれば「あのもゆもやLv.38は把持しないしおまけに間違い無くない」ということは成り立つということはない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしなんらかのモンスターは鋭いなら「それは把持しないし加えて間違い無いということはない」ということは嘘だ ; $hypothesis$ = 「「仮に鋭いとすると「把持しなくて間違い無くない」ということは成り立たない」モンスターはいる」ということは誤りである ; $proof$ = 
fact1 -> int1: 仮にあのもゆもやLv.38は鋭いとすれば「あのもゆもやLv.38は把持しないしおまけに間違い無くない」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__