そのまよまにLv.5は覗き直す
fact1: このぷなぷなLv.13は慕わしくて話し易い fact2: このぷなぷなLv.13は甘酸っぱい fact3: そのぴちゅぴねLv.93は話し易い fact4: そのまよまにLv.5は甘酸っぱい fact5: もしそのぴちゅぴねLv.93が甘酸っぱいとしたらそのまよまにLv.5は覗き直す fact6: もしこのぷなぷなLv.13が話し易いならそのぴちゅぴねLv.93は甘酸っぱい
fact1 -> int1: このぷなぷなLv.13は話し易い; int1 & fact6 -> int2: そのぴちゅぴねLv.93は甘酸っぱい; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: このぷなぷなLv.13は慕わしくて話し易い fact2: このぷなぷなLv.13は甘酸っぱい fact3: そのぴちゅぴねLv.93は話し易い fact4: そのまよまにLv.5は甘酸っぱい fact5: もしそのぴちゅぴねLv.93が甘酸っぱいとしたらそのまよまにLv.5は覗き直す fact6: もしこのぷなぷなLv.13が話し易いならそのぴちゅぴねLv.93は甘酸っぱい ; $hypothesis$ = そのまよまにLv.5は覗き直す ; $proof$ = 
fact1 -> int1: このぷなぷなLv.13は話し易い; int1 & fact6 -> int2: そのぴちゅぴねLv.93は甘酸っぱい; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__