premise: Earl has not visited New London, Shawn has visited Simi Valley, Perry has not visited Reston and if Perry has not visited Reston then Elmer has not visited Phenix City
hypothesis: Elmer has not visited Phenix City