premise: Joshua has not visited Goldsboro, Benjamin has not visited Terre Haute, Randy has visited Tampa and if Benjamin has not visited Terre Haute then Calvin has visited Columbia
hypothesis: Calvin has not visited Columbia