このみにゅみいLv.10は上り続ける
fact1: すべてのモンスターは広告する fact2: 規則正しいモンスターは上り続ける一方で隠形するということはない fact3: すべてのモンスターは話し易い fact4: あらゆるモンスターは移管する
このぷいぷいLv.35は上り続ける
fact5 -> int1: このぷいぷいLv.35が規則正しいならそれは上り続ける一方で隠形しない;
$facts$ = fact1: すべてのモンスターは広告する fact2: 規則正しいモンスターは上り続ける一方で隠形するということはない fact3: すべてのモンスターは話し易い fact4: あらゆるモンスターは移管する ; $hypothesis$ = このみにゅみいLv.10は上り続ける ; $proof$ = 
__UNKNOWN__
__UNKNOWN__