このまなまやLv.81は起こり難い
fact1: もしもそのぽにゃぽにゅLv.55が笑い転げるとすればこのまなまやLv.81は起こり難い fact2: そのぽにゃぽにゅLv.55はか弱い fact3: もしなにがしかのモンスターはか弱いとしたら「起こり難い」ということは事実である fact4: もしもそのぽにゃぽにゅLv.55がか弱いならそのぽにゃぽにゅLv.55は笑い転げる
fact4 & fact2 -> int1: そのぽにゃぽにゅLv.55は笑い転げる; int1 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのまにゃまいLv.78は起こり難い
fact5 -> int2: もしもあのまにゃまいLv.78がか弱いならあのまにゃまいLv.78は起こり難い;
$facts$ = fact1: もしもそのぽにゃぽにゅLv.55が笑い転げるとすればこのまなまやLv.81は起こり難い fact2: そのぽにゃぽにゅLv.55はか弱い fact3: もしなにがしかのモンスターはか弱いとしたら「起こり難い」ということは事実である fact4: もしもそのぽにゃぽにゅLv.55がか弱いならそのぽにゃぽにゅLv.55は笑い転げる ; $hypothesis$ = このまなまやLv.81は起こり難い ; $proof$ = 
fact4 & fact2 -> int1: そのぽにゃぽにゅLv.55は笑い転げる; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__