premise: Vincent has not visited Shawneetown, Bradley has not visited West Lafayette, Ralph has visited Seneca Falls and if Vincent has not visited Shawneetown then Miguel has not visited Coronado
hypothesis: Miguel has not visited Coronado