premise: Harvey has not visited Owensboro, Travis has visited Eufaula, Jaime has not visited El Dorado and if Jaime has not visited El Dorado then Dennis has not visited Medicine Lodge
hypothesis: Dennis has not visited Medicine Lodge