premise: Marvin has only visited El Salvador, Jesus has only visited Nigeria, Howard has only visited Trinidad & Tobago, Guy has only visited Niger, Ben has only visited Chile
hypothesis: Zachary didn't visit Trinidad & Tobago