premise: Donald has only visited South Sudan, Steve has only visited New Zealand, Joshua has only visited Russia, Angel has only visited Republic of the Congo, Billy has only visited Tuvalu
hypothesis: Steve didn't visit Guatemala