premise: Tracy has only visited Vietnam, Julio has only visited Switzerland, Arthur has only visited Iceland, Mario has only visited Malaysia, Dennis has only visited Panama, Leroy has only visited Dominica
hypothesis: Darryl didn't visit Malaysia