そのまにょまくLv.9は招集出来る
fact1: もしも「とあるモンスターは歩き辛くて御詳しい」ということは偽であるとすればそれは歩き辛くない fact2: それは歩き辛くて御詳しいというモンスターはない fact3: 彼らしいモンスターは招集出来ない
そのまにょまくLv.9は招集出来ない
fact5 -> int1: 仮にそのまにょまくLv.9が彼らしいならばそのまにょまくLv.9は招集出来ない; fact6 -> int2: 仮に「このみくみちゃLv.79は歩き辛いししかもそれは御詳しい」ということは成り立つということはないとすればこのみくみちゃLv.79は歩き辛くない; fact4 -> int3: 「このみくみちゃLv.79は歩き辛いしそれは御詳しい」ということは本当でない; int2 & int3 -> int4: このみくみちゃLv.79は歩き辛くない; int4 -> int5: あらゆるモンスターは歩き辛くない; int5 -> int6: あのもにょもにゅLv.59は歩き辛くない; int6 -> int7: あるモンスターは歩き辛くない;
$facts$ = fact1: もしも「とあるモンスターは歩き辛くて御詳しい」ということは偽であるとすればそれは歩き辛くない fact2: それは歩き辛くて御詳しいというモンスターはない fact3: 彼らしいモンスターは招集出来ない ; $hypothesis$ = そのまにょまくLv.9は招集出来る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__