premise: Dave, Zachary, Lee, Travis, Charles, Matthew, George, Clinton, Marvin, Floyd, Alfred, Dean, Micheal, Troy, Roger, David and Karl have only visited Macedonia
hypothesis: Matthew didn't visit Federated States of Micronesia