「「「極まりなくないか解け易くないかどちらもである」ということは成り立たないとしたら見える」モンスターはいる」ということは成り立たない
fact1: もしも「あるモンスターは極まりなくないかそれは解け易くない」ということは成り立たないなら見える
fact1 -> int1: もしも「そのまゆまえLv.50は極まりなくないかそれは解け易くないかもしくは両方だ」ということは間違っていればそのまゆまえLv.50は見える; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも「あるモンスターは極まりなくないかそれは解け易くない」ということは成り立たないなら見える ; $hypothesis$ = 「「「極まりなくないか解け易くないかどちらもである」ということは成り立たないとしたら見える」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしも「そのまゆまえLv.50は極まりなくないかそれは解け易くないかもしくは両方だ」ということは間違っていればそのまゆまえLv.50は見える; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__