premise: Todd has not visited Amarillo, Benjamin has visited Tarpon Springs, James has not visited Hazard and if James has not visited Hazard then Rafael has visited Sierra Vista
hypothesis: Rafael has visited Sierra Vista