premise: Lonnie has not visited Worland, Dwight has not visited Boulder, Curtis has visited Wilmette and if Lonnie has visited Worland then Zachary has visited Colorado Springs
hypothesis: Zachary has visited Colorado Springs