premise: Shannon has not visited Guatemala, Jo has visited Mali, Marian has not visited Saint Kitts & Nevis and if Marian has visited Saint Kitts & Nevis then Kimberly has visited Chile
hypothesis: Kimberly has visited Chile