premise: Vernon has not visited Fort Walton Beach, Timothy has not visited Peoria, Jim has visited Portsmouth and if Vernon has visited Fort Walton Beach then Leo has visited Franklin
hypothesis: Leo has not visited Franklin