premise: Isabel has not visited Moldova, Yvette has not visited Saudi Arabia, Patsy has visited Kazakhstan and if Isabel has not visited Moldova then Eva has not visited Turkmenistan
hypothesis: Eva has not visited Turkmenistan