あのぽちゅぽにゅLv.18は挑戦する
fact1: もしもあるモンスターが浅くないならそれは挑戦するしそれは考え易い fact2: このみよみやLv.70は崩し易くない fact3: あのぽちゅぽにゅLv.18は考え易い fact4: 仮にこのみなみよLv.68が起こし易いか生まれ変わるということはないかもしくは両方だとしたらそのぷなぷゆLv.37は起こし易くない fact5: 崩し易くないモンスターは取れ易くて考え易い fact6: もしそのぷなぷゆLv.37が起こし易くないとしたらあのぽちゅぽにゅLv.18は浅くなくて加えてそれは崩し易くない fact7: あのぽちゅぽにゅLv.18は浅い fact8: 「あのぽちゅぽにゅLv.18は考え易いししかも浅い」ということは確かであるとしたらそれは挑戦しない
fact3 & fact7 -> int1: あのぽちゅぽにゅLv.18が考え易いしその上それは浅い; int1 & fact8 -> hypothesis;
fact3 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> hypothesis;
あのぽちゅぽにゅLv.18は挑戦する
fact9 -> int2: もしあのぽちゅぽにゅLv.18が浅くないとしたら挑戦するし考え易い;
$facts$ = fact1: もしもあるモンスターが浅くないならそれは挑戦するしそれは考え易い fact2: このみよみやLv.70は崩し易くない fact3: あのぽちゅぽにゅLv.18は考え易い fact4: 仮にこのみなみよLv.68が起こし易いか生まれ変わるということはないかもしくは両方だとしたらそのぷなぷゆLv.37は起こし易くない fact5: 崩し易くないモンスターは取れ易くて考え易い fact6: もしそのぷなぷゆLv.37が起こし易くないとしたらあのぽちゅぽにゅLv.18は浅くなくて加えてそれは崩し易くない fact7: あのぽちゅぽにゅLv.18は浅い fact8: 「あのぽちゅぽにゅLv.18は考え易いししかも浅い」ということは確かであるとしたらそれは挑戦しない ; $hypothesis$ = あのぽちゅぽにゅLv.18は挑戦する ; $proof$ = 
fact3 & fact7 -> int1: あのぽちゅぽにゅLv.18が考え易いしその上それは浅い; int1 & fact8 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> hypothesis; __DISPROVED__