premise: Robert has not visited Halifax, Vincent has not visited Manchester, Terrence has visited Lubbock and if Robert has not visited Halifax then Salvador has visited Bethesda-Chevy Chase
hypothesis: Salvador has visited Bethesda-Chevy Chase