premise: Heidi has visited Nauru, Kristen has not visited United Arab Emirates, Brittany has visited Ukraine and if Heidi has visited Nauru then Billie has visited Guinea-Bissau
hypothesis: Billie has not visited Guinea-Bissau