premise: Veronica has not visited Thailand, Kathleen has not visited Angola, Deanna has visited Greece and if Kathleen has not visited Angola then Joanna has not visited Afghanistan
hypothesis: Joanna has not visited Afghanistan