あのみやみちゅLv.95は死滅しない
fact1: もしもあのみやみちゅLv.95が目新しいかもしくはそれが死滅すればあのみやみちゅLv.95は安くない fact2: 仮になんらかのモンスターが死滅するとすれば目新しい
void -> assump1: 以下のように仮定する。あのみやみちゅLv.95は死滅する; assump1 -> int1: あのみやみちゅLv.95は目新しいかまたは死滅するかどちらもだ; int1 & fact1 -> int2: あのみやみちゅLv.95は安くない;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a};
このみにょみにょLv.33は目新しい
fact3 -> int3: もしもこのみにょみにょLv.33が死滅するとすればこのみにょみにょLv.33は目新しい;
$facts$ = fact1: もしもあのみやみちゅLv.95が目新しいかもしくはそれが死滅すればあのみやみちゅLv.95は安くない fact2: 仮になんらかのモンスターが死滅するとすれば目新しい ; $hypothesis$ = あのみやみちゅLv.95は死滅しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__