premise: Wade has not visited Forrest City, Nathaniel has visited Skagway, Seth has visited Mount Vernon and if Nathaniel has visited Skagway then Mario has visited North Platte
hypothesis: Mario has not visited North Platte