premise: Norman has not visited Fayetteville, Brian has visited Hancock, Erik has not visited Ashland and if Erik has visited Ashland then Christopher has visited Marysville
hypothesis: Christopher has not visited Marysville