あのぷちょぷちゃLv.55は差し出がましくない
fact1: このもわもにゅLv.79は堪能する fact2: そのみゆみちょLv.46は弾き易くてそれは差し出がましい fact3: 仮にこのもわもにゅLv.79が堪能するとするとそのみゆみちょLv.46は突起する fact4: もしこのもわもにゅLv.79が差し出がましいならばあのぷちょぷちゃLv.55は差し出がましい fact5: そのみゆみちょLv.46は届き難い fact6: このもわもにゅLv.79は起こし易い fact7: このまくまいLv.23は断言出来るしそれにそれは届き難い fact8: もし仮にそのみゆみちょLv.46が突起するし届き難いならばあのぷちょぷちゃLv.55は差し出がましくない fact9: あのみにゅみなLv.70は突起しない
fact3 & fact1 -> int1: そのみゆみちょLv.46は突起する; int1 & fact5 -> int2: そのみゆみちょLv.46は突起するし届き難い; int2 & fact8 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis;
あのぷちょぷちゃLv.55は差し出がましい
$facts$ = fact1: このもわもにゅLv.79は堪能する fact2: そのみゆみちょLv.46は弾き易くてそれは差し出がましい fact3: 仮にこのもわもにゅLv.79が堪能するとするとそのみゆみちょLv.46は突起する fact4: もしこのもわもにゅLv.79が差し出がましいならばあのぷちょぷちゃLv.55は差し出がましい fact5: そのみゆみちょLv.46は届き難い fact6: このもわもにゅLv.79は起こし易い fact7: このまくまいLv.23は断言出来るしそれにそれは届き難い fact8: もし仮にそのみゆみちょLv.46が突起するし届き難いならばあのぷちょぷちゃLv.55は差し出がましくない fact9: あのみにゅみなLv.70は突起しない ; $hypothesis$ = あのぷちょぷちゃLv.55は差し出がましくない ; $proof$ = 
fact3 & fact1 -> int1: そのみゆみちょLv.46は突起する; int1 & fact5 -> int2: そのみゆみちょLv.46は突起するし届き難い; int2 & fact8 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact8 -> hypothesis; __PROVED__