premise: Darryl has not visited Hanalei, Dwayne has not visited North Platte, Armando has visited Waterbury and if Dwayne has not visited North Platte then Antonio has visited Hodgenville
hypothesis: Antonio has not visited Hodgenville