premise: Ronald has not visited Kansas City, Eduardo has visited Marlborough, Philip has not visited El Dorado and if Philip has not visited El Dorado then Morris has visited Gloversville
hypothesis: Morris has not visited Gloversville