このもちょもなLv.91は皆しない
fact1: すべてのモンスターは住み難い fact2: 住み難いモンスターは細いということはないがしかし拭い去れる fact3: 細いということはないモンスターでしかも拭い去れるモンスターは在職しない fact4: 全てのモンスターは粘り強い fact5: もしあるモンスターが在職するとすると皆しなくてそれにそれは費用計上するということはない
そのみにょみちゅLv.73は皆する
fact8 -> int1: もしそのみにょみちゅLv.73が細くないけれど拭い去れるとするとそのみにょみちゅLv.73は在職するということはない; fact6 -> int2: 仮にこのもちょもなLv.91が住み難いとしたらそれは細くないしまた拭い去れる; fact7 -> int3: このもちょもなLv.91は住み難い; int2 & int3 -> int4: このもちょもなLv.91は細くないがしかしそれは拭い去れる; int4 -> int5: 全てのモンスターは細いということはないけれど拭い去れる; int5 -> int6: そのみにょみちゅLv.73は細くないけど拭い去れる; int1 & int6 -> int7: そのみにょみちゅLv.73は在職しない;
$facts$ = fact1: すべてのモンスターは住み難い fact2: 住み難いモンスターは細いということはないがしかし拭い去れる fact3: 細いということはないモンスターでしかも拭い去れるモンスターは在職しない fact4: 全てのモンスターは粘り強い fact5: もしあるモンスターが在職するとすると皆しなくてそれにそれは費用計上するということはない ; $hypothesis$ = このもちょもなLv.91は皆しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__