premise: Ryan has not visited Ocean Springs, Nicholas has not visited Gretna, Donald has visited Pendleton and if Ryan has not visited Ocean Springs then Curtis has not visited Decatur
hypothesis: Curtis has not visited Decatur