premise: Shane has not visited Keyser, Greg has visited Caldwell, Manuel has not visited Prescott and if Manuel has not visited Prescott then Vincent has not visited Santa Cruz
hypothesis: Vincent has not visited Santa Cruz