あのぽなぽのLv.71はみみっちくない
fact1: 起こし難くないかまたはしょっぱいかあるいはどちらもなモンスターはきつい fact2: もしもあのぽなぽのLv.71が引っ込めるならそれはきつかない fact3: もしあのぽなぽのLv.71が引っ込めるかみみっちいかまたは両方ともならばあのぽなぽのLv.71はきついということはない fact4: あのぽなぽのLv.71はきつい fact5: あのぴえぴゆLv.64は起こし難くないかもしくはそれはしょっぱいか両方ともである
void -> assump1: 以下のように仮定する。あのぽなぽのLv.71はみみっちい; assump1 -> int1: あのぽなぽのLv.71は引っ込めるかもしくはみみっちい; int1 & fact3 -> int2: あのぽなぽのLv.71はきつくない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぽなぽのLv.71はみみっちい
fact7 -> int4: もしもあのぴえぴゆLv.64が起こし難くないかもしくはしょっぱいかもしくは両方ともならばあのぴえぴゆLv.64はきつい; int4 & fact6 -> int5: あのぴえぴゆLv.64はきつい;
$facts$ = fact1: 起こし難くないかまたはしょっぱいかあるいはどちらもなモンスターはきつい fact2: もしもあのぽなぽのLv.71が引っ込めるならそれはきつかない fact3: もしあのぽなぽのLv.71が引っ込めるかみみっちいかまたは両方ともならばあのぽなぽのLv.71はきついということはない fact4: あのぽなぽのLv.71はきつい fact5: あのぴえぴゆLv.64は起こし難くないかもしくはそれはしょっぱいか両方ともである ; $hypothesis$ = あのぽなぽのLv.71はみみっちくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽなぽのLv.71はみみっちい; assump1 -> int1: あのぽなぽのLv.71は引っ込めるかもしくはみみっちい; int1 & fact3 -> int2: あのぽなぽのLv.71はきつくない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__