premise: Salvador has only visited Andorra, Joel has only visited Burkina, Dave has only visited Papua New Guinea, Frank has only visited Kosovo, Johnny has only visited Switzerland
hypothesis: Joel didn't visit Democratic Republic of the Congo