premise: Shane has not visited Miami Beach, Jack has visited Santa Ana, Clarence has not visited Fall River and if Clarence has visited Fall River then Edward has visited New Hope
hypothesis: Edward has not visited New Hope