「「仮に「冗談ぽくないしそそっかしい」ということは誤っているとすると面倒臭いということはない」モンスターはいる」ということは成り立たない
fact1: 「なんらかのモンスターは冗談ぽくない一方でそれはそそっかしい」ということは間違っているとすれば面倒臭いということはない fact2: 打ち難いモンスターは薄くない
fact1 -> int1: 「そのまくまのLv.67は冗談ぽくないがそれはそそっかしい」ということは誤りであるとしたらそのまくまのLv.67は面倒臭いということはない; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「なんらかのモンスターは冗談ぽくない一方でそれはそそっかしい」ということは間違っているとすれば面倒臭いということはない fact2: 打ち難いモンスターは薄くない ; $hypothesis$ = 「「仮に「冗談ぽくないしそそっかしい」ということは誤っているとすると面倒臭いということはない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「そのまくまのLv.67は冗談ぽくないがそれはそそっかしい」ということは誤りであるとしたらそのまくまのLv.67は面倒臭いということはない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__