premise: Mike has only visited Myanmar, Sidney has only visited Ireland, Patrick has only visited Nicaragua, Barry has only visited Czech Republic, Glen has only visited Eritrea, Casey has only visited Moldova, Keith has only visited Seychelles, Chris has only visited Japan, Jason has only visited Syria, Jeff has only visited Burundi, Virgil has only visited Sudan, Derek has only visited Brazil
hypothesis: Derek didn't visit Brazil