そのみねみやLv.23は燃え易くない
fact1: もしそのみねみやLv.23が燃え易いとすればそのみねみやLv.23は白し fact2: そのぽなぽえLv.20は打ち易くない fact3: もしもそのみねみやLv.23が白しならそのぽなぽえLv.20は打ち易い
void -> assump1: 以下のように仮定する。そのみねみやLv.23は燃え易い; fact1 & assump1 -> int1: そのみねみやLv.23は白し; int1 & fact3 -> int2: そのぽなぽえLv.20は打ち易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしそのみねみやLv.23が燃え易いとすればそのみねみやLv.23は白し fact2: そのぽなぽえLv.20は打ち易くない fact3: もしもそのみねみやLv.23が白しならそのぽなぽえLv.20は打ち易い ; $hypothesis$ = そのみねみやLv.23は燃え易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみねみやLv.23は燃え易い; fact1 & assump1 -> int1: そのみねみやLv.23は白し; int1 & fact3 -> int2: そのぽなぽえLv.20は打ち易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__