あのぽえぽなLv.65は甚だしいしそれに勇ましい
fact1: あのぽえぽなLv.65は甚だしい fact2: あのぽえぽなLv.65は興味深いモンスターでありさらに勇ましい
fact2 -> int1: あのぽえぽなLv.65は勇ましい; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのぽえぽなLv.65は甚だしい fact2: あのぽえぽなLv.65は興味深いモンスターでありさらに勇ましい ; $hypothesis$ = あのぽえぽなLv.65は甚だしいしそれに勇ましい ; $proof$ = 
fact2 -> int1: あのぽえぽなLv.65は勇ましい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__