premise: Anthony has not visited Cape Girardeau, Carl has visited Rochester, Christian has not visited Charles City and if Christian has visited Charles City then Christopher has visited Paterson
hypothesis: Christopher has visited Paterson