そのぽちょぽにLv.18は役らしいし戻し易い
fact1: このぴゆぴわLv.75は役らしい fact2: そのもいもなLv.47は抉り回す fact3: そのもいもなLv.47は戻し易い fact4: そのぽちょぽにLv.18は戻し易い fact5: もし仮にそのもいもなLv.47が優しならばこのぴゆぴわLv.75は抉り回す fact6: もしもこのぴゆぴわLv.75が抉り回すならそのぽちょぽにLv.18は役らしい fact7: そのもいもなLv.47は優し
fact5 & fact7 -> int1: このぴゆぴわLv.75は抉り回す; int1 & fact6 -> int2: そのぽちょぽにLv.18は役らしい; int2 & fact4 -> hypothesis;
fact5 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このぴゆぴわLv.75は役らしい fact2: そのもいもなLv.47は抉り回す fact3: そのもいもなLv.47は戻し易い fact4: そのぽちょぽにLv.18は戻し易い fact5: もし仮にそのもいもなLv.47が優しならばこのぴゆぴわLv.75は抉り回す fact6: もしもこのぴゆぴわLv.75が抉り回すならそのぽちょぽにLv.18は役らしい fact7: そのもいもなLv.47は優し ; $hypothesis$ = そのぽちょぽにLv.18は役らしいし戻し易い ; $proof$ = 
fact5 & fact7 -> int1: このぴゆぴわLv.75は抉り回す; int1 & fact6 -> int2: そのぽちょぽにLv.18は役らしい; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __PROVED__