このぷゆぷにゅLv.42は懐っこいし更にそれは馴染み難い
fact1: このぷゆぷにゅLv.42は馴染み難い fact2: このぷゆぷにゅLv.42はおっかなくておまけに懐っこい
fact2 -> int1: このぷゆぷにゅLv.42は懐っこい; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このぷゆぷにゅLv.42は馴染み難い fact2: このぷゆぷにゅLv.42はおっかなくておまけに懐っこい ; $hypothesis$ = このぷゆぷにゅLv.42は懐っこいし更にそれは馴染み難い ; $proof$ = 
fact2 -> int1: このぷゆぷにゅLv.42は懐っこい; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__