premise: Kent has only visited Bahrain, Victor has only visited Zambia, Allen has only visited Bolivia, Wallace has only visited Kosovo, Cody has only visited Timor-Leste, Kirk has only visited Saudi Arabia, Ruben has only visited Mauritius, Timothy has only visited Switzerland, Adrian has only visited Eritrea, Alan has only visited Finland, Bobby has only visited Senegal
hypothesis: Alan didn't visit Finland