premise: Madeline has not visited Venezuela, Misty has not visited Republic of the Congo, Linda has visited Grenada and if Madeline has not visited Venezuela then Erin has visited Kazakhstan
hypothesis: Erin has not visited Kazakhstan