premise: John has not visited Cape Girardeau, Derrick has not visited Glens Falls, Joel has visited Hugo and if John has not visited Cape Girardeau then Rafael has visited Greenville
hypothesis: Rafael has visited Greenville