premise: Terrence has not visited South Hadley, Clifford has not visited West Lafayette, Leonard has visited Port Lavaca and if Terrence has not visited South Hadley then Travis has visited Mattoon
hypothesis: Travis has not visited Mattoon