以下のように仮定する。「そのもにゅもいLv.56は浅くない」ということは間違いであるということはない
fact1: そのもにゅもいLv.56が無いとするとこのまねまのLv.55はあどけないということはない fact2: このまねまのLv.55はあどけない fact3: 仮に「あのぽねぽちゃLv.54は抗い難いししかも改善出来る」ということは偽だとすると「このまねまのLv.55は改善出来ない」ということは確かである fact4: もしもそのもにゅもいLv.56が無いかもしくは浅くないかあるいは両方ともだとするとこのまねまのLv.55はあどけなくない fact5: もしこのまねまのLv.55は改善出来ないとすれば「そのもにゅもいLv.56は無いけれどそれはあどけないということはない」ということは事実と異なる
void -> assump1: 以下のように仮定する。「そのもにゅもいLv.56は浅くない」ということは間違いであるということはない; assump1 -> int1: そのもにゅもいLv.56は無いかまたはそれは浅くない; int1 & fact4 -> int2: このまねまのLv.55はあどけなくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{B}{a}; assump1 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのもにゅもいLv.56は浅くない」ということは間違いであるということはない
$facts$ = fact1: そのもにゅもいLv.56が無いとするとこのまねまのLv.55はあどけないということはない fact2: このまねまのLv.55はあどけない fact3: 仮に「あのぽねぽちゃLv.54は抗い難いししかも改善出来る」ということは偽だとすると「このまねまのLv.55は改善出来ない」ということは確かである fact4: もしもそのもにゅもいLv.56が無いかもしくは浅くないかあるいは両方ともだとするとこのまねまのLv.55はあどけなくない fact5: もしこのまねまのLv.55は改善出来ないとすれば「そのもにゅもいLv.56は無いけれどそれはあどけないということはない」ということは事実と異なる ; $hypothesis$ = 以下のように仮定する。「そのもにゅもいLv.56は浅くない」ということは間違いであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのもにゅもいLv.56は浅くない」ということは間違いであるということはない; assump1 -> int1: そのもにゅもいLv.56は無いかまたはそれは浅くない; int1 & fact4 -> int2: このまねまのLv.55はあどけなくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{B}{a}; assump1 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__