premise: Cory has not visited Thermopolis, Harry has not visited Stony Point, Reginald has visited Spartanburg and if Harry has not visited Stony Point then Jesus has visited Stevens Point
hypothesis: Jesus has not visited Stevens Point