「予防しないならば無くない」モンスターはいる
fact1: とあるモンスターが予防しないならばそれは無くない
fact1 -> int1: 仮にこのもねもわLv.44が予防しないならこのもねもわLv.44は無くない; int1 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: とあるモンスターが予防しないならばそれは無くない ; $hypothesis$ = 「予防しないならば無くない」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮にこのもねもわLv.44が予防しないならこのもねもわLv.44は無くない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __PROVED__