premise: Leslie has only visited Honduras, Terrence has only visited Guyana, Lance has only visited Hungary, Lester has only visited Kazakhstan, Terrance has only visited Nigeria, Salvador has only visited Timor-Leste
hypothesis: Dave didn't visit Honduras