premise: Kirk has only visited Australia, Melvin has only visited Zimbabwe, Angel has only visited Bolivia, Dan has only visited Macedonia, Derek has only visited Ethiopia, Edgar has only visited Sudan, Willie has only visited Senegal
hypothesis: Kirk didn't visit Grenada