premise: Bernard has not visited Berea, Derek has not visited Sunnyvale, Charlie has visited Ipswich and if Derek has not visited Sunnyvale then Micheal has not visited Manitowoc
hypothesis: Micheal has not visited Manitowoc