そのぽちょぽちゅLv.44は聞き漏らさない
fact1: あのぴのぴのLv.66は下ろし易くておまけに揺るぎないならば一時停止しない fact2: 何らかのモンスターが下ろし易いということはないとするとそれは聞き漏らすしさらに揺るぎない fact3: 仮にそのぽちょぽちゅLv.44は下ろし易いしさらに一時停止するとしたらそれは聞き漏らさない fact4: もしもあのぴのぴのLv.66が揺るぎないならそのぽちょぽちゅLv.44は下ろし易い fact5: そのぽちょぽちゅLv.44は一時停止する fact6: あのぴのぴのLv.66は揺るぎない
fact4 & fact6 -> int1: そのぽちょぽちゅLv.44は下ろし易い; int1 & fact5 -> int2: そのぽちょぽちゅLv.44は下ろし易いしそれは一時停止する; int2 & fact3 -> hypothesis;
fact4 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis;
そのぽちょぽちゅLv.44は聞き漏らす
fact7 -> int3: そのぽちょぽちゅLv.44が下ろし易くないとしたら聞き漏らすし更にそれは揺るぎない;
$facts$ = fact1: あのぴのぴのLv.66は下ろし易くておまけに揺るぎないならば一時停止しない fact2: 何らかのモンスターが下ろし易いということはないとするとそれは聞き漏らすしさらに揺るぎない fact3: 仮にそのぽちょぽちゅLv.44は下ろし易いしさらに一時停止するとしたらそれは聞き漏らさない fact4: もしもあのぴのぴのLv.66が揺るぎないならそのぽちょぽちゅLv.44は下ろし易い fact5: そのぽちょぽちゅLv.44は一時停止する fact6: あのぴのぴのLv.66は揺るぎない ; $hypothesis$ = そのぽちょぽちゅLv.44は聞き漏らさない ; $proof$ = 
fact4 & fact6 -> int1: そのぽちょぽちゅLv.44は下ろし易い; int1 & fact5 -> int2: そのぽちょぽちゅLv.44は下ろし易いしそれは一時停止する; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis; __PROVED__