premise: Eleanor has not visited Bhutan, Flora has not visited Philippines, Barbara has visited Tanzania and if Flora has not visited Philippines then Gwendolyn has visited Gabon
hypothesis: Gwendolyn has not visited Gabon