premise: Maurice has not visited Tombstone, Mitchell has visited Bemidji, Jon has visited Independence and if Jon has visited Independence then Jonathan has visited Fond du Lac
hypothesis: Jonathan has not visited Fond du Lac