premise: Jose has only visited Paraguay, Bulgaria, Egypt, Norway, Bahrain, Romania, Nauru, Saint Vincent & the Grenadines, Benin, Belarus, Equatorial Guinea, Venezuela, Albania, Eritrea, Greece, Chile and Djibouti
hypothesis: Timothy didn't visit Benin