premise: Cory has only visited Mongolia, Terrance has only visited Palestine, Jay has only visited Sweden, Gordon has only visited Bolivia, Jack has only visited Lithuania, Stanley has only visited United States, Clifford has only visited Kazakhstan, Juan has only visited Solomon Islands, Melvin has only visited Czech Republic, Roberto has only visited Macedonia
hypothesis: Juan didn't visit Guatemala