premise: Jeremy has not visited Rancho Cucamonga, Michael has not visited East Chicago, Alexander has visited Bloomington and if Jeremy has visited Rancho Cucamonga then Miguel has visited Zion
hypothesis: Miguel has not visited Zion