premise: Antonio has only visited India, Joshua has only visited Nigeria, Erik has only visited Mexico, Pedro has only visited Lithuania, Eugene has only visited Moldova, Jeremy has only visited Dominican Republic, Lonnie has only visited Suriname, Virgil has only visited Bolivia
hypothesis: Joshua didn't visit Nigeria