premise: Chad has not visited Traverse City, John has not visited Charlevoix, Floyd has visited Bethlehem and if Chad has not visited Traverse City then Lawrence has visited New Madrid
hypothesis: Lawrence has visited New Madrid