premise: Chad has not visited Portales, Willard has visited Casa Grande, Michael has not visited Grand Haven and if Michael has visited Grand Haven then Cody has visited Bloomington
hypothesis: Cody has visited Bloomington