このぽにぽにゃLv.78は未練がましくない
fact1: このぽにぽにゃLv.78は覚え易い fact2: このぽにぽにゃLv.78は忘れ易くておまけにうざい fact3: もしもこのぽにぽにゃLv.78がうざいしまたそれが覚え易いとしたらそれは未練がましくない
fact2 -> int1: このぽにぽにゃLv.78はうざい; int1 & fact1 -> int2: このぽにぽにゃLv.78はうざいし覚え易い; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: このぽにぽにゃLv.78は覚え易い fact2: このぽにぽにゃLv.78は忘れ易くておまけにうざい fact3: もしもこのぽにぽにゃLv.78がうざいしまたそれが覚え易いとしたらそれは未練がましくない ; $hypothesis$ = このぽにぽにゃLv.78は未練がましくない ; $proof$ = 
fact2 -> int1: このぽにぽにゃLv.78はうざい; int1 & fact1 -> int2: このぽにぽにゃLv.78はうざいし覚え易い; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__