premise: Steven has only visited Sudan, Mike has only visited Vietnam, Charles has only visited Turkmenistan, Neil has only visited India, Freddie has only visited United States, Zachary has only visited Colombia, Enrique has only visited Tunisia
hypothesis: Harvey didn't visit Turkmenistan