premise: Kurt has not visited Fort Benton, Philip has visited Kenosha, Nathan has visited Manchester and if Nathan has visited Manchester then Herbert has visited Andersonville
hypothesis: Herbert has not visited Andersonville