あのもいもよLv.73は慎み深い
fact1: 仮にこのまにゅまくLv.33が手厳しいとすればそのものもにゃLv.95は犯し難い fact2: 仮に手厳しいモンスターが使い辛いとしたらそれは慎み深くない fact3: もし「とあるモンスターは浅黒いけれどそれは場慣れしない」ということは嘘であるとすると「浅黒いということはない」ということは正しい fact4: 仮にこのまにゅまくLv.33が浅黒くないならばあのもいもよLv.73が犯し難いしその上使い辛い fact5: このまにゅまくLv.33は使い辛いかそれは手厳しいかもしくはどちらもである fact6: 「このもちょもちゅLv.50が浅黒いとするとあのもいもよLv.73は慎み深い」ということは成り立つ fact7: あのもいもよLv.73は手厳しい fact8: もし仮にこのまにゅまくLv.33が使い辛いとするとそのものもにゃLv.95は犯し難い
fact5 & fact8 & fact1 -> int1: そのものもにゃLv.95は犯し難い;
fact5 & fact8 & fact1 -> int1: {C}{c};
あのもいもよLv.73は慎み深くない
fact9 -> int2: もしあのもいもよLv.73が手厳しくておまけにそれが使い辛いならばあのもいもよLv.73は慎み深くない; fact11 -> int3: もしも「このまにゅまくLv.33は浅黒い一方でそれは場慣れするということはない」ということは間違いならば浅黒くない;
$facts$ = fact1: 仮にこのまにゅまくLv.33が手厳しいとすればそのものもにゃLv.95は犯し難い fact2: 仮に手厳しいモンスターが使い辛いとしたらそれは慎み深くない fact3: もし「とあるモンスターは浅黒いけれどそれは場慣れしない」ということは嘘であるとすると「浅黒いということはない」ということは正しい fact4: 仮にこのまにゅまくLv.33が浅黒くないならばあのもいもよLv.73が犯し難いしその上使い辛い fact5: このまにゅまくLv.33は使い辛いかそれは手厳しいかもしくはどちらもである fact6: 「このもちょもちゅLv.50が浅黒いとするとあのもいもよLv.73は慎み深い」ということは成り立つ fact7: あのもいもよLv.73は手厳しい fact8: もし仮にこのまにゅまくLv.33が使い辛いとするとそのものもにゃLv.95は犯し難い ; $hypothesis$ = あのもいもよLv.73は慎み深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__