そのぴにぴくLv.43は数え上げない
fact1: あるモンスターが叩き起こさないならそれは薄ら寒いし加えて錆無い fact2: もしもこのぽにょぽやLv.87が叩き起こすならあのもにゅもいLv.39は錆無くない fact3: 「そのぴにぴくLv.43は薄ら寒い」ということは成り立つ fact4: そのぴにぴくLv.43は錆無い fact5: もしあのもにゅもいLv.39が錆無いということはないとしたらそのぴにぴくLv.43は薄ら寒いし数え上げる
void -> assump1: 以下のように仮定する。「そのぴにぴくLv.43は数え上げる」ということは本当だ; assump1 & fact3 -> int1: そのぴにぴくLv.43は数え上げるし加えてそれは薄ら寒い;
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a});
あのまよまなLv.48は数え上げる
fact6 -> int2: そのぴにぴくLv.43は叩き起こさないとすれば「薄ら寒いしかつそれは錆無い」ということは確かである;
$facts$ = fact1: あるモンスターが叩き起こさないならそれは薄ら寒いし加えて錆無い fact2: もしもこのぽにょぽやLv.87が叩き起こすならあのもにゅもいLv.39は錆無くない fact3: 「そのぴにぴくLv.43は薄ら寒い」ということは成り立つ fact4: そのぴにぴくLv.43は錆無い fact5: もしあのもにゅもいLv.39が錆無いということはないとしたらそのぴにぴくLv.43は薄ら寒いし数え上げる ; $hypothesis$ = そのぴにぴくLv.43は数え上げない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__