premise: Raul has only visited Nepal, Ray has only visited Mexico, Virgil has only visited Mozambique, Dan has only visited Albania, Glen has only visited Libya, Lester has only visited Guinea-Bissau, Derek has only visited Montenegro, Edwin has only visited Algeria, Terrence has only visited Eswatini
hypothesis: Theodore didn't visit Libya