あのみのみちょLv.61は落ち続ける
fact1: もしあのみのみちょLv.61は抗い難いとすると「それは落ち続ける」ということは確かだ fact2: 仮にそのぽゆぽいLv.84が守り易いならあのみのみちょLv.61は抗い難い fact3: そのぽゆぽいLv.84は守り易い
fact2 & fact3 -> int1: あのみのみちょLv.61は抗い難い; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみのみちょLv.61は抗い難いとすると「それは落ち続ける」ということは確かだ fact2: 仮にそのぽゆぽいLv.84が守り易いならあのみのみちょLv.61は抗い難い fact3: そのぽゆぽいLv.84は守り易い ; $hypothesis$ = あのみのみちょLv.61は落ち続ける ; $proof$ = 
fact2 & fact3 -> int1: あのみのみちょLv.61は抗い難い; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis; __PROVED__