premise: Thomas has not visited New Braunfels, Chester has visited Warrensburg, John has not visited Silver City and if John has not visited Silver City then Ronnie has not visited Jacksonville
hypothesis: Ronnie has not visited Jacksonville