premise: George has not visited West Virginia, Jon has not visited Midwest City, Eddie has visited Cortland and if George has not visited West Virginia then Marcus has visited Lakewood
hypothesis: Marcus has not visited Lakewood