premise: Gene has visited Cordova, Adrian has not visited Manitowoc, Jared has visited Perry and if Gene has visited Cordova then Christian has visited Bloomfield Hills
hypothesis: Christian has not visited Bloomfield Hills