premise: Everyone has visited Denmark, Benin, Guatemala, Uzbekistan, Germany, Thailand, Dominica, Iran, Syria, Vanuatu, Spain, United Kingdom, Kiribati, Eswatini, Mexico, Trinidad & Tobago and Cyprus
hypothesis: Timothy didn't visit Sri Lanka