premise: Gerald has only visited Grenada, Micheal has only visited Eritrea, Gilbert has only visited Belgium, Gregory has only visited Andorra, Anthony has only visited China, Hugh has only visited Djibouti, Randy has only visited Nicaragua, Karl has only visited Liberia
hypothesis: Anthony didn't visit Sudan