premise: Jamie has not visited Provincetown, Pedro has visited Sainte Genevieve, Clyde has not visited Worthington and if Clyde has visited Worthington then Bradley has visited Davenport
hypothesis: Bradley has not visited Davenport