premise: Jeff has not visited Jacksonville, Perry has not visited Chester, Steven has visited Oberlin and if Jeff has not visited Jacksonville then Harold has visited Sierra Vista
hypothesis: Harold has not visited Sierra Vista