premise: Gregory has only visited Antigua & Barbuda, Joe has only visited Federated States of Micronesia, Ramon has only visited Eritrea, Terrence has only visited Albania, Jeff has only visited Lithuania
hypothesis: Brian didn't visit Antigua & Barbuda