premise: Thomas has only visited Romania, Adrian has only visited Tuvalu, Everett has only visited Djibouti, Marc has only visited Dominica, Don has only visited China, Nicholas has only visited Turkmenistan, Lonnie has only visited Iraq, Theodore has only visited North Korea, Andrew has only visited Nepal, Ken has only visited Saint Lucia, Terrence has only visited Liberia
hypothesis: Ken didn't visit Saint Lucia