premise: Leo has not visited Fall River, Tommy has visited Irving, Russell has visited San Antonio and if Russell has visited San Antonio then Wesley has visited Hopkinsville
hypothesis: Wesley has not visited Hopkinsville