premise: Randy has not visited White Sulphur Springs, Derek has visited Alaska, Curtis has not visited Williamsburg and if Curtis has not visited Williamsburg then Howard has visited Lenox
hypothesis: Howard has visited Lenox