premise: Everyone has visited Democratic Republic of the Congo, Montenegro, Kazakhstan, Oman, Haiti, Peru, Burundi, Saint Lucia, Fiji, Armenia, Mali, Switzerland, San Mmarino, Finland, Equatorial Guinea, Morocco and Myanmar
hypothesis: Mike did visit Armenia