premise: Marshall has not visited Joplin, Ray has not visited Mississippi, Albert has visited Abingdon and if Ray has visited Mississippi then Duane has visited Holly Springs
hypothesis: Duane has not visited Holly Springs