premise: Diana has not visited Serbia, Jeanne has visited Czech Republic, Patricia has not visited Slovakia and if Patricia has visited Slovakia then Cheryl has visited Tajikistan
hypothesis: Cheryl has not visited Tajikistan