premise: Wade has not visited Marinette, Kent has not visited Mount Clemens, Leonard has visited South Charleston and if Kent has visited Mount Clemens then Karl has visited Seattle
hypothesis: Karl has not visited Seattle