premise: Glenn has not visited Saint Ignace, Tim has not visited Simsbury, Bradley has visited Minnesota and if Glenn has visited Saint Ignace then Derek has visited Casa Grande
hypothesis: Derek has not visited Casa Grande