premise: Jerome has not visited Boise, Jose has visited Lake Havasu City, Randy has not visited Princeton and if Randy has not visited Princeton then Miguel has not visited Grinnell
hypothesis: Miguel has not visited Grinnell