premise: Mary has not visited Lithuania, Irma has visited Sudan, Michelle has not visited Georgia and if Michelle has not visited Georgia then Lucille has visited Democratic Republic of the Congo
hypothesis: Lucille has not visited Democratic Republic of the Congo