premise: Kay has visited Saint Kitts & Nevis, Nina has not visited Trinidad & Tobago, Nora has visited Cabo and if Kay has visited Saint Kitts & Nevis then Frances has visited Armenia
hypothesis: Frances has not visited Armenia