premise: Morris has not visited Weirton, Brian has not visited Port Angeles, Kent has visited Carlsbad and if Brian has not visited Port Angeles then Norman has not visited Charles Town
hypothesis: Norman has not visited Charles Town