あのまにゅまやLv.47は親しみ易くておまけに崩し易い
fact1: あのまにゅまやLv.47は親しみ易い fact2: あのまにゅまやLv.47は崩し易い
fact1 -> int1: あのまにゅまやLv.47は親しみ易い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: あのまにゅまやLv.47は親しみ易い fact2: あのまにゅまやLv.47は崩し易い ; $hypothesis$ = あのまにゅまやLv.47は親しみ易くておまけに崩し易い ; $proof$ = 
fact1 -> int1: あのまにゅまやLv.47は親しみ易い; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__