premise: Larry has not visited Sand Springs, Ian has not visited Oxford, Kirk has visited Savannah and if Larry has not visited Sand Springs then Francis has not visited Oil City
hypothesis: Francis has not visited Oil City