あのみのみちゃLv.81は泳ぎ着かない
fact1: 探し易いモンスターは泳ぎ着く fact2: そのもちょもわLv.64は泳ぎ着く fact3: あのみのみちゃLv.81は切り易い
fact1 -> int1: 「あのみのみちゃLv.81は探し易い」ということは本当であるとするとそれは泳ぎ着く;
fact1 -> int1: {A}{aa} -> {C}{aa};
$facts$ = fact1: 探し易いモンスターは泳ぎ着く fact2: そのもちょもわLv.64は泳ぎ着く fact3: あのみのみちゃLv.81は切り易い ; $hypothesis$ = あのみのみちゃLv.81は泳ぎ着かない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__