premise: Dianne has not visited Democratic Republic of the Congo, Jodi has not visited Finland, Hattie has visited Saudi Arabia and if Jodi has not visited Finland then Thelma has not visited Myanmar
hypothesis: Thelma has not visited Myanmar