premise: Ruth has not visited Slovenia, Charlotte has not visited Slovakia, Andrea has visited Spain and if Charlotte has not visited Slovakia then Christine has visited Central African Republic
hypothesis: Christine has not visited Central African Republic