「「「打ち破らないけど野暮ったい」ということは成り立つということはないなら間違い無い」モンスターはいる」ということは誤りである
fact1: 仮に「なんらかのモンスターは打ち破らない一方でそれは野暮ったい」ということは事実だということはないとしたらそれは間違い無い
fact1 -> int1: もし仮に「あのぷちゅぷにゅLv.57は打ち破らないがしかしそれは野暮ったい」ということは本当でないとしたら「間違い無い」ということは成り立つ; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「なんらかのモンスターは打ち破らない一方でそれは野暮ったい」ということは事実だということはないとしたらそれは間違い無い ; $hypothesis$ = 「「「打ち破らないけど野暮ったい」ということは成り立つということはないなら間違い無い」モンスターはいる」ということは誤りである ; $proof$ = 
fact1 -> int1: もし仮に「あのぷちゅぷにゅLv.57は打ち破らないがしかしそれは野暮ったい」ということは本当でないとしたら「間違い無い」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__