premise: Katrina has not visited Sierra Leone, Olivia has not visited Kenya, Flora has visited Benin and if Katrina has visited Sierra Leone then Sabrina has visited Guinea-Bissau
hypothesis: Sabrina has not visited Guinea-Bissau