もしもあのぽやぽにLv.89は剃髪するなら「あのぽちょぽよLv.12は余所余所しかないかまたは交換し合うかまたはどちらもである」ということは誤りである
fact1: あのぽちょぽよLv.12は余所余所しいならば「あのぽちょぽよLv.12は余所余所しかないかあるいは交換し合う」ということは成り立たない fact2: もしもあのぽちょぽよLv.12が余所余所しいとすればあのぽちょぽよLv.12は余所余所しかないかもしくは交換し合うかまたはどちらもである fact3: もしもあのぽやぽにLv.89が余所余所しいならあのぽちょぽよLv.12は剃髪しないかもしくは交換し合うかあるいは両方だ fact4: もしあのぽやぽにLv.89が剃髪すればあのぽちょぽよLv.12は余所余所しい
void -> assump1: 以下のように仮定する。あのぽやぽにLv.89は剃髪する; fact4 & assump1 -> int1: あのぽちょぽよLv.12は余所余所しい; int1 & fact1 -> int2: 「あのぽちょぽよLv.12は余所余所しかないかあるいは交換し合うかまたはどちらもである」ということは嘘である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: ¬(¬{B}{b} v {D}{b}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: あのぽちょぽよLv.12は余所余所しいならば「あのぽちょぽよLv.12は余所余所しかないかあるいは交換し合う」ということは成り立たない fact2: もしもあのぽちょぽよLv.12が余所余所しいとすればあのぽちょぽよLv.12は余所余所しかないかもしくは交換し合うかまたはどちらもである fact3: もしもあのぽやぽにLv.89が余所余所しいならあのぽちょぽよLv.12は剃髪しないかもしくは交換し合うかあるいは両方だ fact4: もしあのぽやぽにLv.89が剃髪すればあのぽちょぽよLv.12は余所余所しい ; $hypothesis$ = もしもあのぽやぽにLv.89は剃髪するなら「あのぽちょぽよLv.12は余所余所しかないかまたは交換し合うかまたはどちらもである」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽやぽにLv.89は剃髪する; fact4 & assump1 -> int1: あのぽちょぽよLv.12は余所余所しい; int1 & fact1 -> int2: 「あのぽちょぽよLv.12は余所余所しかないかあるいは交換し合うかまたはどちらもである」ということは嘘である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: ¬(¬{B}{b} v {D}{b}); [assump1] & int2 -> hypothesis; __PROVED__