premise: Carlos has only visited Serbia, Andy has only visited Tunisia, Kent has only visited Senegal, Gary has only visited United States, Alfredo has only visited Jordan, Jimmie has only visited Syria, Alfred has only visited Liberia, Vernon has only visited Timor-Leste, Samuel has only visited Botswana, Theodore has only visited Guyana, Alan has only visited Austria
hypothesis: Alfredo didn't visit Nigeria