premise: Christina has not visited Bahrain, Geneva has visited Ireland, Jane has visited Lithuania and if Jane has visited Lithuania then Anna has visited Equatorial Guinea
hypothesis: Anna has not visited Equatorial Guinea