premise: Darren has not visited Clarksville, Dan has not visited Lackawanna, Cody has visited Cocoa Beach and if Darren has not visited Clarksville then Jesse has visited Baton Rouge
hypothesis: Jesse has not visited Baton Rouge