そのもにょもにょLv.14は覚え易くない
fact1: 「見付け難くてあどけない」モンスターはいる fact2: そのもにょもにょLv.14はあどけない fact3: もしもそのもにょもにょLv.14は移ろい易くて更にあどけないならばそれは覚え易くない fact4: あのぽにぽにゃLv.21は見付け難いけれど成功し易くない fact5: もし「なにがしかのモンスターは見付け難くないがしかし成功し易い」ということは偽であるとすればそれはあどけない fact6: あのぽにぽにゃLv.21は成功し易くない
fact4 -> int1: なにがしかのモンスターは見付け難い一方で成功し易くない;
fact4 -> int1: (Ex): ({A}x & ¬{B}x);
あのぷにゅぷやLv.16はあどけない
fact7 -> int2: もしも「あのぷにゅぷやLv.16は見付け難くないけどそれは成功し易い」ということは間違いであるとすればそれはあどけない;
$facts$ = fact1: 「見付け難くてあどけない」モンスターはいる fact2: そのもにょもにょLv.14はあどけない fact3: もしもそのもにょもにょLv.14は移ろい易くて更にあどけないならばそれは覚え易くない fact4: あのぽにぽにゃLv.21は見付け難いけれど成功し易くない fact5: もし「なにがしかのモンスターは見付け難くないがしかし成功し易い」ということは偽であるとすればそれはあどけない fact6: あのぽにぽにゃLv.21は成功し易くない ; $hypothesis$ = そのもにょもにょLv.14は覚え易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__