このみちゃみよLv.89は鼓動しない
fact1: きついモンスターは鼓動するということはない fact2: このみちゃみよLv.89はきつい
fact1 -> int1: もしもこのみちゃみよLv.89がきついとしたらそれは鼓動しない; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact2 -> hypothesis;
$facts$ = fact1: きついモンスターは鼓動するということはない fact2: このみちゃみよLv.89はきつい ; $hypothesis$ = このみちゃみよLv.89は鼓動しない ; $proof$ = 
fact1 -> int1: もしもこのみちゃみよLv.89がきついとしたらそれは鼓動しない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact2 -> hypothesis; __PROVED__