premise: Alfred has only visited Qatar, Brad has only visited Italy, Jay has only visited Venezuela, Dustin has only visited Belarus, Todd has only visited Algeria, Jeff has only visited Libya
hypothesis: Jeff didn't visit Libya