このぴにぴやLv.47は御濃い
fact1: 仮にそのぷねぷねLv.56が上がり難いし加えて綴るとすればあのぴのぴちゅLv.17は入居しない fact2: 仮にあのぴのぴちゅLv.17が入居するということはないならばそのまにょまなLv.9は収録しなくて入居しない fact3: そのぷねぷねLv.56は上がり難い fact4: そのぷねぷねLv.56は凛々しいし更に綴る fact5: もしあのぴのぴちゅLv.17が入居しないとしたらそのまにょまなLv.9は入居しない
fact4 -> int1: そのぷねぷねLv.56は綴る; int1 & fact3 -> int2: そのぷねぷねLv.56は上がり難くてまた綴る; int2 & fact1 -> int3: あのぴのぴちゅLv.17は入居しない; int3 & fact2 -> int4: そのまにょまなLv.9は収録しないし入居するということはない;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 & fact1 -> int3: ¬{D}{b}; int3 & fact2 -> int4: (¬{E}{c} & ¬{D}{c});
$facts$ = fact1: 仮にそのぷねぷねLv.56が上がり難いし加えて綴るとすればあのぴのぴちゅLv.17は入居しない fact2: 仮にあのぴのぴちゅLv.17が入居するということはないならばそのまにょまなLv.9は収録しなくて入居しない fact3: そのぷねぷねLv.56は上がり難い fact4: そのぷねぷねLv.56は凛々しいし更に綴る fact5: もしあのぴのぴちゅLv.17が入居しないとしたらそのまにょまなLv.9は入居しない ; $hypothesis$ = このぴにぴやLv.47は御濃い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__