premise: Harvey has not visited Rochester, Floyd has not visited Provo, Shawn has visited Asbury Park and if Harvey has not visited Rochester then Clifford has not visited Livonia
hypothesis: Clifford has not visited Livonia