premise: Nathaniel has visited Martinez, Jorge has not visited Oak Harbor, Richard has visited Wilkes-Barre and if Nathaniel has visited Martinez then Michael has visited Cherokee
hypothesis: Michael has not visited Cherokee