premise: Salvador has visited Oak Harbor, Chad has not visited Wisconsin, Mathew has visited Virginia City and if Salvador has visited Oak Harbor then Jack has visited Santa Rosa
hypothesis: Jack has not visited Santa Rosa