premise: Henry has only visited Egypt, Franklin has only visited Tuvalu, Norman has only visited Gambia, Roy has only visited Lithuania, Stephen has only visited Serbia, Michael has only visited Mauritania
hypothesis: Roy didn't visit Lithuania