premise: Dave has not visited Rawlins, Antonio has not visited Florence, Melvin has visited Fitchburg and if Antonio has not visited Florence then Phillip has visited New York City
hypothesis: Phillip has visited New York City