そのもいもやLv.13はすごーい
fact1: ひ弱くないモンスターは毛深いけれど大成らない fact2: もしもそのもいもやLv.13が大成るが毛深くないとしたらすごーくない fact3: あらゆるモンスターはひ弱くない fact4: 仮に「「目的無ししちっこい」ということは成り立たない」モンスターがいるとすればそのもいもやLv.13はすごーい
「このもちゅもいLv.58は溜め込み易いしそれは度し難い」ということは嘘である
fact6 -> int1: そのもいもやLv.13はひ弱くない; fact5 -> int2: 仮にそのもいもやLv.13がひ弱いということはないならそれは毛深いしかつそれは大成らない; int1 & int2 -> int3: そのもいもやLv.13は毛深い一方でそれは大成るということはない;
$facts$ = fact1: ひ弱くないモンスターは毛深いけれど大成らない fact2: もしもそのもいもやLv.13が大成るが毛深くないとしたらすごーくない fact3: あらゆるモンスターはひ弱くない fact4: 仮に「「目的無ししちっこい」ということは成り立たない」モンスターがいるとすればそのもいもやLv.13はすごーい ; $hypothesis$ = そのもいもやLv.13はすごーい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__