あのぷえぷにLv.68は想定し難い
fact1: 仮にあのぷえぷにLv.68が入り辛くないとすればこのぷのぷにゃLv.79は戦争するしおまけに想定し難い fact2: もしもそのもちゅもちょLv.74は懐こくないとすれば「それは進呈するし更に取り立てる」ということは成り立つ fact3: もし「なにがしかのモンスターは入り辛いしそれは想定し難い」ということは間違っているならそれは想定し難くない fact4: このもえもちゅLv.12は想定し難い fact5: あらゆるモンスターは想定し難い
fact5 -> int1: あらゆるモンスターは想定し難い; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
このぷのぷにゃLv.79は想定し難い
$facts$ = fact1: 仮にあのぷえぷにLv.68が入り辛くないとすればこのぷのぷにゃLv.79は戦争するしおまけに想定し難い fact2: もしもそのもちゅもちょLv.74は懐こくないとすれば「それは進呈するし更に取り立てる」ということは成り立つ fact3: もし「なにがしかのモンスターは入り辛いしそれは想定し難い」ということは間違っているならそれは想定し難くない fact4: このもえもちゅLv.12は想定し難い fact5: あらゆるモンスターは想定し難い ; $hypothesis$ = あのぷえぷにLv.68は想定し難い ; $proof$ = 
fact5 -> int1: あらゆるモンスターは想定し難い; int1 -> hypothesis; __PROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__