premise: Kristina has visited Montenegro, Eunice has not visited Rwanda, Guadalupe has visited Syria and if Kristina has visited Montenegro then Frances has visited Trinidad & Tobago
hypothesis: Frances has not visited Trinidad & Tobago