premise: Richard has not visited Grants Pass, Melvin has not visited Dubuque, Byron has visited Chula Vista and if Melvin has not visited Dubuque then Paul has visited Cooperstown
hypothesis: Paul has not visited Cooperstown