premise: Stanley has not visited Excelsior Springs, Alfredo has visited Santa Fe, Larry has not visited Pittsburgh and if Larry has not visited Pittsburgh then Ray has visited Sebring
hypothesis: Ray has not visited Sebring