あのみいみよLv.51は冷たくない
fact1: あのぽねぽやLv.30はどうして良い fact2: このみわみにゅLv.50が救えるし注意深いとしたらあのみいみよLv.51は冷たくない fact3: 「このみわみにゅLv.50は注意深い」ということは本当である fact4: 何らかのモンスターが救えないならばそれはどうして良くない fact5: もしもあのぽねぽやLv.30がどうして良いならこのみわみにゅLv.50は救える
fact5 & fact1 -> int1: このみわみにゅLv.50は救える; int1 & fact3 -> int2: このみわみにゅLv.50は救えるし更にそれは注意深い; int2 & fact2 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis;
あのみいみよLv.51はどうして良いということはない
fact6 -> int3: あのみいみよLv.51が救えるということはないならそれはどうして良くない;
$facts$ = fact1: あのぽねぽやLv.30はどうして良い fact2: このみわみにゅLv.50が救えるし注意深いとしたらあのみいみよLv.51は冷たくない fact3: 「このみわみにゅLv.50は注意深い」ということは本当である fact4: 何らかのモンスターが救えないならばそれはどうして良くない fact5: もしもあのぽねぽやLv.30がどうして良いならこのみわみにゅLv.50は救える ; $hypothesis$ = あのみいみよLv.51は冷たくない ; $proof$ = 
fact5 & fact1 -> int1: このみわみにゅLv.50は救える; int1 & fact3 -> int2: このみわみにゅLv.50は救えるし更にそれは注意深い; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis; __PROVED__