このぴちょぴにょLv.87は煙たいし受け入れられ易い
fact1: このみにょみよLv.85は煙たい fact2: そのぴにゃぴちゃLv.77は危うい fact3: このもよもにゃLv.70は汚れ易い fact4: もしもこのもよもにゃLv.70が汚れ易いならこのもよもにゃLv.70は危うい fact5: もし仮にこのぴちょぴにょLv.87が汚れ易いとするとこのもよもにゃLv.70は受け入れられ易い fact6: もしもこのぴちょぴにょLv.87が危ういとしたらこのもよもにゃLv.70は受け入れられ易い fact7: もしこのもよもにゃLv.70が受け入れられ易いとしたらこのぴちょぴにょLv.87は危うい fact8: このぴちょぴにょLv.87は受け入れられ易い fact9: もしこのもよもにゃLv.70が危ういならばこのぴちょぴにょLv.87は煙たい
fact4 & fact3 -> int1: このもよもにゃLv.70は危うい; int1 & fact9 -> int2: このぴちょぴにょLv.87は煙たい; int2 & fact8 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
$facts$ = fact1: このみにょみよLv.85は煙たい fact2: そのぴにゃぴちゃLv.77は危うい fact3: このもよもにゃLv.70は汚れ易い fact4: もしもこのもよもにゃLv.70が汚れ易いならこのもよもにゃLv.70は危うい fact5: もし仮にこのぴちょぴにょLv.87が汚れ易いとするとこのもよもにゃLv.70は受け入れられ易い fact6: もしもこのぴちょぴにょLv.87が危ういとしたらこのもよもにゃLv.70は受け入れられ易い fact7: もしこのもよもにゃLv.70が受け入れられ易いとしたらこのぴちょぴにょLv.87は危うい fact8: このぴちょぴにょLv.87は受け入れられ易い fact9: もしこのもよもにゃLv.70が危ういならばこのぴちょぴにょLv.87は煙たい ; $hypothesis$ = このぴちょぴにょLv.87は煙たいし受け入れられ易い ; $proof$ = 
fact4 & fact3 -> int1: このもよもにゃLv.70は危うい; int1 & fact9 -> int2: このぴちょぴにょLv.87は煙たい; int2 & fact8 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{b}; int2 & fact8 -> hypothesis; __PROVED__