premise: Jack has not visited Pekin, Jeffrey has visited Salinas, Jay has not visited Garden City and if Jay has not visited Garden City then Matthew has visited Nebraska City
hypothesis: Matthew has not visited Nebraska City