premise: Marcus has only visited Bolivia, Tracy has only visited Czech Republic, Tom has only visited Belgium, Francisco has only visited Chad, Robert has only visited Saudi Arabia
hypothesis: Tracy didn't visit Czech Republic