premise: Craig has not visited Montgomery, Willie has not visited Totowa, Keith has visited Lorain and if Craig has not visited Montgomery then Terrence has visited Glenwood Springs
hypothesis: Terrence has visited Glenwood Springs