あのぽなぽねLv.21は痩せこける
fact1: あのぴいぴにゃLv.55は飲ます fact2: もし仮にあのぴいぴにゃLv.55が飲ますとすればそのもちゅもやLv.0は割れ易い fact3: もしそのもちゅもやLv.0が割れ易いとするとあのぽなぽねLv.21は痩せこける
fact2 & fact1 -> int1: そのもちゅもやLv.0は割れ易い; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
$facts$ = fact1: あのぴいぴにゃLv.55は飲ます fact2: もし仮にあのぴいぴにゃLv.55が飲ますとすればそのもちゅもやLv.0は割れ易い fact3: もしそのもちゅもやLv.0が割れ易いとするとあのぽなぽねLv.21は痩せこける ; $hypothesis$ = あのぽなぽねLv.21は痩せこける ; $proof$ = 
fact2 & fact1 -> int1: そのもちゅもやLv.0は割れ易い; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __PROVED__