premise: Johnny has only visited Croatia, Aaron has only visited Sri Lanka, Tyler has only visited Haiti, Mitchell has only visited Mauritius, Franklin has only visited Denmark, William has only visited Antigua & Barbuda, Kenneth has only visited Thailand, Adam has only visited Angola, Elmer has only visited Poland, Marion has only visited Burkina, Lance has only visited Botswana
hypothesis: Aaron didn't visit Sri Lanka