premise: Diana has not visited Haiti, Michele has not visited South Sudan, Crystal has visited Japan and if Michele has visited South Sudan then Tara has visited Democratic Republic of the Congo
hypothesis: Tara has visited Democratic Republic of the Congo