そのみわみよLv.52は上昇するしおまけにそれは極まり悪い
fact1: そのみわみよLv.52は極まり悪い fact2: 受け難いモンスターはイスラム化する fact3: もし仮にそのぴのぴちゅLv.53がイスラム化するとしたらそのみわみよLv.52は上昇する fact4: あのまちょまちゅLv.43は受け難い fact5: そのぴのぴちゅLv.53は受け難い
fact2 -> int1: もしもそのぴのぴちゅLv.53が受け難いとするとイスラム化する; int1 & fact5 -> int2: そのぴのぴちゅLv.53はイスラム化する; int2 & fact3 -> int3: そのみわみよLv.52は上昇する; int3 & fact1 -> hypothesis;
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact5 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: そのみわみよLv.52は極まり悪い fact2: 受け難いモンスターはイスラム化する fact3: もし仮にそのぴのぴちゅLv.53がイスラム化するとしたらそのみわみよLv.52は上昇する fact4: あのまちょまちゅLv.43は受け難い fact5: そのぴのぴちゅLv.53は受け難い ; $hypothesis$ = そのみわみよLv.52は上昇するしおまけにそれは極まり悪い ; $proof$ = 
fact2 -> int1: もしもそのぴのぴちゅLv.53が受け難いとするとイスラム化する; int1 & fact5 -> int2: そのぴのぴちゅLv.53はイスラム化する; int2 & fact3 -> int3: そのみわみよLv.52は上昇する; int3 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact5 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __PROVED__