premise: Miguel has only visited Ireland, Tommy has only visited Thailand, Carlos has only visited Barbados, Hector has only visited Cambodia, Wayne has only visited Botswana, Joseph has only visited Vietnam
hypothesis: Wayne didn't visit Botswana