premise: Dennis has not visited Glenwood Springs, Marion has not visited Louisiana, Kent has visited Steamboat Springs and if Marion has not visited Louisiana then Jimmy has visited Sturbridge
hypothesis: Jimmy has not visited Sturbridge