premise: Lorraine has not visited Marshall Islands, Florence has visited Saudi Arabia, Lynda has visited Madagascar and if Florence has visited Saudi Arabia then Eva has visited Greece
hypothesis: Eva has not visited Greece