あのまゆまにLv.43は聞こえ難くない
fact1: あのみにょみやLv.65はど偉い fact2: もし「あのまゆまにLv.43は聞こえ難いかあるいは迷い難いかまたは両方である」ということは確かであるとしたらあのみにょみやLv.65はど偉くない fact3: 「迷い難い」モンスターがいるとすればあのみやみなLv.41はど偉くて聞こえ難い
void -> assump1: 以下のように仮定する。あのまゆまにLv.43は聞こえ難い; assump1 -> int1: あのまゆまにLv.43は聞こえ難いか迷い難いかもしくはどちらもだ; int1 & fact2 -> int2: あのみにょみやLv.65はど偉くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのみやみなLv.41はど偉い
$facts$ = fact1: あのみにょみやLv.65はど偉い fact2: もし「あのまゆまにLv.43は聞こえ難いかあるいは迷い難いかまたは両方である」ということは確かであるとしたらあのみにょみやLv.65はど偉くない fact3: 「迷い難い」モンスターがいるとすればあのみやみなLv.41はど偉くて聞こえ難い ; $hypothesis$ = あのまゆまにLv.43は聞こえ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまゆまにLv.43は聞こえ難い; assump1 -> int1: あのまゆまにLv.43は聞こえ難いか迷い難いかもしくはどちらもだ; int1 & fact2 -> int2: あのみにょみやLv.65はど偉くない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__