そのもくもえLv.38は溜まり易い
fact1: 「なんらかのモンスターは生き辛くないか遠いかもしくは両方だ」ということは偽だとすれば「溜まり易くない」ということは成り立つ fact2: 仮に何らかのモンスターは移り易くないなら「それは生き辛くないか遠い」ということは偽である fact3: もし「とあるモンスターは着易くないかあるいは多様化するかまたはどちらもだ」ということは真実でないならばそれは移り易くない fact4: あのみわみにLv.78は手っ取り早いとしたら「そのもくもえLv.38は着易くないかもしくは多様化するかまたは両方ともだ」ということは間違っている fact5: そのもくもえLv.38は遠い fact6: もしあのぴにょぴちょLv.81が移り易くなくて着易いということはないとすればそれは溜まり易くない
void -> assump1: 以下のように仮定する。「そのもくもえLv.38は生き辛いが遠くない」ということは本当だ; assump1 -> int1: そのもくもえLv.38は遠くない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのもくもえLv.38は生き辛いが遠くない」ということは偽である;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a});
あのぴにょぴちょLv.81は遠い
$facts$ = fact1: 「なんらかのモンスターは生き辛くないか遠いかもしくは両方だ」ということは偽だとすれば「溜まり易くない」ということは成り立つ fact2: 仮に何らかのモンスターは移り易くないなら「それは生き辛くないか遠い」ということは偽である fact3: もし「とあるモンスターは着易くないかあるいは多様化するかまたはどちらもだ」ということは真実でないならばそれは移り易くない fact4: あのみわみにLv.78は手っ取り早いとしたら「そのもくもえLv.38は着易くないかもしくは多様化するかまたは両方ともだ」ということは間違っている fact5: そのもくもえLv.38は遠い fact6: もしあのぴにょぴちょLv.81が移り易くなくて着易いということはないとすればそれは溜まり易くない ; $hypothesis$ = そのもくもえLv.38は溜まり易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__