あのぴねぴなLv.21は腹立たしいかあるいはそれは捲れない
fact1: 「もしもなんらかのモンスターは陥らないとしたら「それは腹立たしいかもしくはそれは捲れるということはない」ということは誤りである」ということは成り立つ fact2: あのぴねぴなLv.21は陥るということはない
fact1 -> int1: もしあのぴねぴなLv.21は陥るということはないなら「あのぴねぴなLv.21は腹立たしいかあるいは捲れないかもしくはどちらもである」ということは成り立たない; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「もしもなんらかのモンスターは陥らないとしたら「それは腹立たしいかもしくはそれは捲れるということはない」ということは誤りである」ということは成り立つ fact2: あのぴねぴなLv.21は陥るということはない ; $hypothesis$ = あのぴねぴなLv.21は腹立たしいかあるいはそれは捲れない ; $proof$ = 
fact1 -> int1: もしあのぴねぴなLv.21は陥るということはないなら「あのぴねぴなLv.21は腹立たしいかあるいは捲れないかもしくはどちらもである」ということは成り立たない; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis; __DISPROVED__