premise: Ernest has only visited Vietnam, Salvador has only visited South Korea, Adam has only visited Yemen, Brad has only visited Bhutan, Luis has only visited Ecuador, Fred has only visited South Sudan, Casey has only visited Mongolia
hypothesis: Tracy didn't visit South Korea