premise: Troy has only visited Sierra Leone, Travis has only visited Syria, Maurice has only visited Laos, Tommy has only visited El Salvador, Seth has only visited Portugal, David has only visited Czech Republic
hypothesis: Randall didn't visit El Salvador