premise: Kenneth has not visited Pacific Grove, Jon has visited New Hope, Marshall has not visited Macomb and if Marshall has not visited Macomb then Edward has not visited Sheboygan
hypothesis: Edward has not visited Sheboygan