premise: Tommy has only visited Federated States of Micronesia, Norman has only visited China, Pedro has only visited Serbia, Antonio has only visited Cameroon, Marshall has only visited Fiji, Joe has only visited Bulgaria, Dave has only visited Ecuador, Brian has only visited Estonia, Dan has only visited Kenya, Vincent has only visited Belize
hypothesis: Joe didn't visit Libya