premise: Seth has not visited Parsippany–Troy Hills, Jim has not visited Ephrata, Marcus has visited New Martinsville and if Jim has not visited Ephrata then Fred has not visited Clayton
hypothesis: Fred has not visited Clayton