そのもにゅもにLv.53は打ち上がり易いということはない
fact1: このぴにぴにゃLv.22は馬鹿らしい fact2: もしもこのぴにぴにゃLv.22が嘆かわしくないしそれに鳴り止まないとすればそのもにゅもにLv.53は打ち上がり易くない fact3: このぴにぴにゃLv.22は嘆かわしくない fact4: このぴにぴにゃLv.22はどぎついしかつ通り易い fact5: もしもこのぴにぴにゃLv.22が馬鹿らしくておまけに通り易いならこのぴにぴにゃLv.22は鳴り止まない
fact4 -> int1: このぴにぴにゃLv.22は通り易い; int1 & fact1 -> int2: このぴにぴにゃLv.22は馬鹿らしいしかつそれは通り易い; int2 & fact5 -> int3: このぴにぴにゃLv.22は鳴り止まない; int3 & fact3 -> int4: このぴにぴにゃLv.22は嘆かわしくないし鳴り止まない; int4 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact5 -> int3: ¬{D}{a}; int3 & fact3 -> int4: (¬{E}{a} & ¬{D}{a}); int4 & fact2 -> hypothesis;
$facts$ = fact1: このぴにぴにゃLv.22は馬鹿らしい fact2: もしもこのぴにぴにゃLv.22が嘆かわしくないしそれに鳴り止まないとすればそのもにゅもにLv.53は打ち上がり易くない fact3: このぴにぴにゃLv.22は嘆かわしくない fact4: このぴにぴにゃLv.22はどぎついしかつ通り易い fact5: もしもこのぴにぴにゃLv.22が馬鹿らしくておまけに通り易いならこのぴにぴにゃLv.22は鳴り止まない ; $hypothesis$ = そのもにゅもにLv.53は打ち上がり易いということはない ; $proof$ = 
fact4 -> int1: このぴにぴにゃLv.22は通り易い; int1 & fact1 -> int2: このぴにぴにゃLv.22は馬鹿らしいしかつそれは通り易い; int2 & fact5 -> int3: このぴにぴにゃLv.22は鳴り止まない; int3 & fact3 -> int4: このぴにぴにゃLv.22は嘆かわしくないし鳴り止まない; int4 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 & fact5 -> int3: ¬{D}{a}; int3 & fact3 -> int4: (¬{E}{a} & ¬{D}{a}); int4 & fact2 -> hypothesis; __PROVED__