premise: Lee has not visited Weirton, Chris has not visited Shelton, Michael has visited Port Gibson and if Chris has not visited Shelton then Richard has not visited Boca Raton
hypothesis: Richard has not visited Boca Raton