premise: Mario has only visited Luxembourg, Willard has only visited Latvia, Marshall has only visited South Sudan, Mark has only visited Senegal, Todd has only visited Cuba, Gary has only visited Equatorial Guinea, Miguel has only visited Austria, Edwin has only visited Georgia, Bobby has only visited Benin, Frederick has only visited Norway, Jeffery has only visited Vatican City
hypothesis: Jeffery didn't visit Vatican City