premise: Edward has not visited South Saint Paul, Norman has visited Bordentown, Melvin has not visited Harmony and if Melvin has not visited Harmony then Gabriel has visited Houghton
hypothesis: Gabriel has not visited Houghton