premise: Keith has not visited Cranston, Sergio has not visited Carbondale, Terrance has visited Galena and if Sergio has visited Carbondale then Lee has visited West Bridgewater
hypothesis: Lee has not visited West Bridgewater