あのぽやぽやLv.12は進化し易くない
fact1: 「そのみちょみにLv.85は愛しないかもしくは煩わしいかどちらもだ」ということは偽であるとするとしんどくない fact2: あらゆるモンスターは進化し易い fact3: あらゆるモンスターは与え難い fact4: もしもそのみちょみにLv.85はしんどくないならば「あのぽやぽやLv.12は消化し易いしおまけにそれはたどたどしい」ということは間違っている fact5: 仮に「なんらかのモンスターが消化し易いしその上それはたどたどしい」ということは成り立たないとすればそれは懐っこくない
fact2 -> int1: あらゆるモンスターは進化し易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このぷちゅぷえLv.19は進化し易い
fact8 -> int2: 仮に「あのぽやぽやLv.12は消化し易いしその上たどたどしい」ということは間違いならば懐っこくない;
$facts$ = fact1: 「そのみちょみにLv.85は愛しないかもしくは煩わしいかどちらもだ」ということは偽であるとするとしんどくない fact2: あらゆるモンスターは進化し易い fact3: あらゆるモンスターは与え難い fact4: もしもそのみちょみにLv.85はしんどくないならば「あのぽやぽやLv.12は消化し易いしおまけにそれはたどたどしい」ということは間違っている fact5: 仮に「なんらかのモンスターが消化し易いしその上それはたどたどしい」ということは成り立たないとすればそれは懐っこくない ; $hypothesis$ = あのぽやぽやLv.12は進化し易くない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは進化し易い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__