premise: Michelle has visited Equatorial Guinea, Sonya has not visited Italy, Marian has visited Georgia and if Michelle has visited Equatorial Guinea then Eunice has visited Mozambique
hypothesis: Eunice has not visited Mozambique