premise: Ronald has not visited Portales, Joel has visited Heber City, Gabriel has not visited Troy and if Gabriel has not visited Troy then Ivan has not visited East Providence
hypothesis: Ivan has not visited East Providence