premise: Eddie has not visited Nappanee, Troy has visited North Chicago, Jared has not visited Breckenridge and if Jared has visited Breckenridge then Mathew has visited Winchester
hypothesis: Mathew has visited Winchester