premise: Claudia has not visited Hungary, Vickie has not visited Australia, Kathleen has visited Jamaica and if Claudia has not visited Hungary then Tina has not visited United States
hypothesis: Tina has not visited United States