premise: Clinton has not visited Silverton, Max has visited Terre Haute, Manuel has visited Augusta and if Max has visited Terre Haute then Jacob has visited Chicago Heights
hypothesis: Jacob has not visited Chicago Heights