premise: Tracy has only visited Philippines, Roy has only visited Malaysia, Salvador has only visited Zimbabwe, Cody has only visited Hungary, Gabriel has only visited San Mmarino
hypothesis: Tracy didn't visit Philippines