あのぷわぷにゃLv.98は取り辛くない
fact1: もしも「何らかのモンスターは取り辛いけどど偉くない」ということは成り立たないなら見損なうということはない fact2: 「あのぷわぷにゃLv.98は忘れっぽいけど買い増ししない」ということは誤りだ fact3: もし仮に「あるモンスターは忘れっぽいけど買い増しするということはない」ということは偽であるならば取り辛くない
fact3 -> int1: 「もしも「あのぷわぷにゃLv.98は忘れっぽいけど買い増ししない」ということは成り立たないとしたらあのぷわぷにゃLv.98は取り辛いということはない」ということは成り立つ; int1 & fact2 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
もし「あのぴえぴちゃLv.50は取り辛いけれどど偉いということはない」ということは確かでないならあのぴえぴちゃLv.50は見損なわない
fact4 -> hypothesis;
$facts$ = fact1: もしも「何らかのモンスターは取り辛いけどど偉くない」ということは成り立たないなら見損なうということはない fact2: 「あのぷわぷにゃLv.98は忘れっぽいけど買い増ししない」ということは誤りだ fact3: もし仮に「あるモンスターは忘れっぽいけど買い増しするということはない」ということは偽であるならば取り辛くない ; $hypothesis$ = あのぷわぷにゃLv.98は取り辛くない ; $proof$ = 
fact3 -> int1: 「もしも「あのぷわぷにゃLv.98は忘れっぽいけど買い増ししない」ということは成り立たないとしたらあのぷわぷにゃLv.98は取り辛いということはない」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis; __PROVED__