premise: Stephanie has not visited Tajikistan, Alberta has visited Ghana, Kathleen has not visited Pakistan and if Kathleen has visited Pakistan then Ann has visited Bosnia & Herzegovinia
hypothesis: Ann has not visited Bosnia & Herzegovinia