「「もしも「素早くないし甘ーくない」ということは間違いだとしたら小暗い」モンスターはいる」ということは本当である
fact1: もしも「なんらかのモンスターは素早くなくて甘ーくない」ということは間違いであるとしたらそれは小暗い
fact1 -> int1: 仮に「そのぴちゅぴえLv.48は素早くなくてしかも甘ーくない」ということは誤っていればそれは小暗い; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも「なんらかのモンスターは素早くなくて甘ーくない」ということは間違いであるとしたらそれは小暗い ; $hypothesis$ = 「「もしも「素早くないし甘ーくない」ということは間違いだとしたら小暗い」モンスターはいる」ということは本当である ; $proof$ = 
fact1 -> int1: 仮に「そのぴちゅぴえLv.48は素早くなくてしかも甘ーくない」ということは誤っていればそれは小暗い; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__