premise: Antonio has not visited Columbia, Lonnie has not visited Santa Barbara, Julian has visited Cranston and if Lonnie has not visited Santa Barbara then Julio has visited Minneapolis
hypothesis: Julio has not visited Minneapolis