このぴなぴえLv.96は逃れ難くない
fact1: 軽しないモンスターは逃れ難くない fact2: このぴなぴえLv.96は軽しということはない fact3: 「このまやまやLv.65は逃れ難くない」ということは成り立つ
fact1 -> int1: もしこのぴなぴえLv.96が軽しないならそれは逃れ難くない; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 軽しないモンスターは逃れ難くない fact2: このぴなぴえLv.96は軽しということはない fact3: 「このまやまやLv.65は逃れ難くない」ということは成り立つ ; $hypothesis$ = このぴなぴえLv.96は逃れ難くない ; $proof$ = 
fact1 -> int1: もしこのぴなぴえLv.96が軽しないならそれは逃れ難くない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> hypothesis; __PROVED__