premise: Salvador has not visited West Bridgewater, Travis has not visited Pasadena, Brandon has visited Red Bluff and if Salvador has not visited West Bridgewater then Calvin has not visited Lower Southampton
hypothesis: Calvin has not visited Lower Southampton