premise: Joel has only visited Vatican City, Ricky has only visited Dominica, Roger has only visited Brazil, Daniel has only visited Papua New Guinea, Floyd has only visited Marshall Islands, Kyle has only visited Maldives, Tyler has only visited Serbia, Wayne has only visited Suriname
hypothesis: Tyler didn't visit Libya