このもにもなLv.16は少ない
fact1: 仮にこのもにもなLv.16がかったるいがめんどくないならこのもにもなLv.16は少なくない fact2: このもわもねLv.52は少なくない fact3: なにがしかのモンスターが巧めばそれは塩っ辛くてかつそれは疑わしない fact4: 「このもにもなLv.16は近しいということはない」ということは真実だ fact5: このもにもにLv.27はめんどくない fact6: このもにもなLv.16は巧む fact7: なんらかのモンスターがアイデンティファイすれば口煩くない
あのまにょまやLv.39は塩っ辛いけれどそれは疑わしない
fact8 -> int1: 仮にあのまにょまやLv.39が巧めばそれは塩っ辛い一方で疑わしない;
$facts$ = fact1: 仮にこのもにもなLv.16がかったるいがめんどくないならこのもにもなLv.16は少なくない fact2: このもわもねLv.52は少なくない fact3: なにがしかのモンスターが巧めばそれは塩っ辛くてかつそれは疑わしない fact4: 「このもにもなLv.16は近しいということはない」ということは真実だ fact5: このもにもにLv.27はめんどくない fact6: このもにもなLv.16は巧む fact7: なんらかのモンスターがアイデンティファイすれば口煩くない ; $hypothesis$ = このもにもなLv.16は少ない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__