あのぴちょぴにLv.86は集まり易い
fact1: 仮にあのみゆみにゃLv.60が古しないならこのぴちゅぴくLv.52は集まり易いしそれは有るらしい fact2: あのみゆみにゃLv.60は有るらしい fact3: もし仮に「なにがしかのモンスターは古しかもしくは有るらしくない」ということは成り立つということはないとすると「集まり易いということはない」ということは成り立つ fact4: 仮に「なんらかのモンスターは古しし更に建築する」ということは嘘だとすればそれは古しない fact5: もしもあのぴちょぴにLv.86は話し辛くないならば「あのみゆみにゃLv.60は古しモンスターであってしかも建築する」ということは成り立たない fact6: あのみゆみにゃLv.60が有るらしいならあのぴちょぴにLv.86は集まり易い
fact2 -> int1: あのみゆみにゃLv.60は有るらしい; int1 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
あのぴちょぴにLv.86は集まり易くない
fact7 -> int2: もし仮に「あのぴちょぴにLv.86は古しかもしくは有るらしいということはないかあるいはどちらもである」ということは誤りだとしたらそれは集まり易いということはない;
$facts$ = fact1: 仮にあのみゆみにゃLv.60が古しないならこのぴちゅぴくLv.52は集まり易いしそれは有るらしい fact2: あのみゆみにゃLv.60は有るらしい fact3: もし仮に「なにがしかのモンスターは古しかもしくは有るらしくない」ということは成り立つということはないとすると「集まり易いということはない」ということは成り立つ fact4: 仮に「なんらかのモンスターは古しし更に建築する」ということは嘘だとすればそれは古しない fact5: もしもあのぴちょぴにLv.86は話し辛くないならば「あのみゆみにゃLv.60は古しモンスターであってしかも建築する」ということは成り立たない fact6: あのみゆみにゃLv.60が有るらしいならあのぴちょぴにLv.86は集まり易い ; $hypothesis$ = あのぴちょぴにLv.86は集まり易い ; $proof$ = 
fact2 -> int1: あのみゆみにゃLv.60は有るらしい; int1 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact6 -> hypothesis; __PROVED__