あのみのみにょLv.27は絶え間無いししかも行われ易い
fact1: もし仮になにがしかのモンスターは避け難くないなら「それは絶え間無いし行われ易い」ということは成り立たない fact2: そのまいまえLv.32は避け難い fact3: もしそのまいまえLv.32が避け難いとすればあのみのみにょLv.27は生み難い fact4: あのみのみにょLv.27は行われ易い fact5: もしあのみのみにょLv.27が生み難いとするとあのみのみにょLv.27は絶え間無い fact6: もし仮にとあるモンスターが強しならそれは進め易い
fact3 & fact2 -> int1: あのみのみにょLv.27は生み難い; int1 & fact5 -> int2: あのみのみにょLv.27は絶え間無い; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
もしあのぷにゅぷよLv.24が強しならあのぷにゅぷよLv.24は進め易い
fact7 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターは避け難くないなら「それは絶え間無いし行われ易い」ということは成り立たない fact2: そのまいまえLv.32は避け難い fact3: もしそのまいまえLv.32が避け難いとすればあのみのみにょLv.27は生み難い fact4: あのみのみにょLv.27は行われ易い fact5: もしあのみのみにょLv.27が生み難いとするとあのみのみにょLv.27は絶え間無い fact6: もし仮にとあるモンスターが強しならそれは進め易い ; $hypothesis$ = あのみのみにょLv.27は絶え間無いししかも行われ易い ; $proof$ = 
fact3 & fact2 -> int1: あのみのみにょLv.27は生み難い; int1 & fact5 -> int2: あのみのみにょLv.27は絶え間無い; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__