そのみちゃみちゃLv.78は賢しかもしくは行い易くない
fact1: もし「あるモンスターは賢しかあるいはそれは行い易くないかあるいは両方だ」ということは成り立たないとしたら話し辛くない fact2: もし仮になにがしかのモンスターはすげなくないとしたら「賢しかもしくは行い易くないかもしくはどちらもである」ということは嘘だ fact3: そのみちゃみちゃLv.78は話し辛い fact4: もしも「あのみよみねLv.47は話し辛いないかすげないかもしくは両方だ」ということは誤りであるならばそのみちゃみちゃLv.78はすげなくない
fact1 -> int1: 仮に「そのみちゃみちゃLv.78は賢しか行い易くないかまたは両方である」ということは間違っているとすると「それは話し辛くない」ということは事実だ; void -> assump1: 以下のように仮定する。「そのみちゃみちゃLv.78は賢しかあるいは行い易くないか両方である」ということは間違いだ; int1 & assump1 -> int2: そのみちゃみちゃLv.78は話し辛くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬({AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「そのみちゃみちゃLv.78は賢しかあるいは行い易くないか両方である」ということは間違いだ
fact5 -> int4: そのみちゃみちゃLv.78はすげなくないとしたら「そのみちゃみちゃLv.78は賢しかそれは行い易くないか両方だ」ということは誤っている;
$facts$ = fact1: もし「あるモンスターは賢しかあるいはそれは行い易くないかあるいは両方だ」ということは成り立たないとしたら話し辛くない fact2: もし仮になにがしかのモンスターはすげなくないとしたら「賢しかもしくは行い易くないかもしくはどちらもである」ということは嘘だ fact3: そのみちゃみちゃLv.78は話し辛い fact4: もしも「あのみよみねLv.47は話し辛いないかすげないかもしくは両方だ」ということは誤りであるならばそのみちゃみちゃLv.78はすげなくない ; $hypothesis$ = そのみちゃみちゃLv.78は賢しかもしくは行い易くない ; $proof$ = 
fact1 -> int1: 仮に「そのみちゃみちゃLv.78は賢しか行い易くないかまたは両方である」ということは間違っているとすると「それは話し辛くない」ということは事実だ; void -> assump1: 以下のように仮定する。「そのみちゃみちゃLv.78は賢しかあるいは行い易くないか両方である」ということは間違いだ; int1 & assump1 -> int2: そのみちゃみちゃLv.78は話し辛くない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬({AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__