そのもにゅもちゅLv.59は空費する
fact1: そのもにゅもちゅLv.59が英訳するしおまけに苦しならばそのもにゅもちゅLv.59は空費しない fact2: もしもそのみちょみのLv.85が見出だし難いとすればそのもにゅもちゅLv.59は英訳する fact3: そのみちょみのLv.85は見出だし難い fact4: そのもにゅもちゅLv.59は苦し
fact2 & fact3 -> int1: そのもにゅもちゅLv.59は英訳する; int1 & fact4 -> int2: そのもにゅもちゅLv.59は英訳するしそれに苦し; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: そのもにゅもちゅLv.59が英訳するしおまけに苦しならばそのもにゅもちゅLv.59は空費しない fact2: もしもそのみちょみのLv.85が見出だし難いとすればそのもにゅもちゅLv.59は英訳する fact3: そのみちょみのLv.85は見出だし難い fact4: そのもにゅもちゅLv.59は苦し ; $hypothesis$ = そのもにゅもちゅLv.59は空費する ; $proof$ = 
fact2 & fact3 -> int1: そのもにゅもちゅLv.59は英訳する; int1 & fact4 -> int2: そのもにゅもちゅLv.59は英訳するしそれに苦し; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis; __DISPROVED__