このもちゅもちゅLv.49は慎み深い
fact1: 仮に「そのぽちゅぽよLv.21は動き易いかもしくはし難いということはない」ということは正しいならば書き殴る fact2: みっともなくないモンスターは狙い易くないししかも上り易くない fact3: 間断無いモンスターは書き殴る fact4: 仮にそのぽちゅぽよLv.21が書き殴ればこのまくまにゃLv.48は間断無い fact5: 狙い易くないモンスターは間断無いし慎み深い fact6: もしもそのぽちゅぽよLv.21は動き易いなら「書き殴る」ということは事実と異ならない fact7: 仮にこのまくまにゃLv.48が間断無いならばこのもちゅもちゅLv.49は慎み深い fact8: あるモンスターが間断無いということはないとすれば慎み深くない
このもちゅもちゅLv.49は慎み深いということはない
fact9 -> int1: もし仮にこのもちゅもちゅLv.49が間断無くないとすれば慎み深くない;
$facts$ = fact1: 仮に「そのぽちゅぽよLv.21は動き易いかもしくはし難いということはない」ということは正しいならば書き殴る fact2: みっともなくないモンスターは狙い易くないししかも上り易くない fact3: 間断無いモンスターは書き殴る fact4: 仮にそのぽちゅぽよLv.21が書き殴ればこのまくまにゃLv.48は間断無い fact5: 狙い易くないモンスターは間断無いし慎み深い fact6: もしもそのぽちゅぽよLv.21は動き易いなら「書き殴る」ということは事実と異ならない fact7: 仮にこのまくまにゃLv.48が間断無いならばこのもちゅもちゅLv.49は慎み深い fact8: あるモンスターが間断無いということはないとすれば慎み深くない ; $hypothesis$ = このもちゅもちゅLv.49は慎み深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__