「もしも香しくてまた赤黒くないならば述懐しない」モンスターはいる
fact1: とあるモンスターが香しいが赤黒くないとすると述懐しない
fact1 -> int1: もしもそのもちゅもにゅLv.61が香しいが赤黒くないとすればそのもちゅもにゅLv.61は述懐しない; int1 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: とあるモンスターが香しいが赤黒くないとすると述懐しない ; $hypothesis$ = 「もしも香しくてまた赤黒くないならば述懐しない」モンスターはいる ; $proof$ = 
fact1 -> int1: もしもそのもちゅもにゅLv.61が香しいが赤黒くないとすればそのもちゅもにゅLv.61は述懐しない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__