premise: Juan has not visited Hollywood, Jimmy has not visited Bisbee, Casey has visited Bloomsburg and if Juan has not visited Hollywood then Eduardo has visited Hyattsville
hypothesis: Eduardo has not visited Hyattsville