premise: Leonard has not visited Shawnee, John has not visited Iron Mountain, Karl has visited Fairbanks and if John has not visited Iron Mountain then Marcus has visited Appleton
hypothesis: Marcus has not visited Appleton