premise: Nicholas has not visited Texarkana, Dan has not visited Illinois, Russell has visited Manchester and if Dan has not visited Illinois then Lonnie has not visited Winter Haven
hypothesis: Lonnie has not visited Winter Haven