premise: Joshua has only visited Kyrgyzstan, Todd has only visited Canada, Lewis has only visited Tunisia, Bobby has only visited Eswatini, Rafael has only visited Libya, Melvin has only visited Vatican City, Gilbert has only visited Gabon
hypothesis: Rafael didn't visit Libya