premise: Samuel has not visited Cape Girardeau, Ryan has visited Victorville, Frank has not visited Port Orford and if Frank has not visited Port Orford then Arthur has not visited Kirksville
hypothesis: Arthur has not visited Kirksville