premise: Stephanie has not visited Iran, Billie has not visited Eritrea, Rachel has visited Iceland and if Billie has not visited Eritrea then Mildred has visited Afghanistan
hypothesis: Mildred has not visited Afghanistan