premise: Matthew has only visited Democratic Republic of the Congo, Reginald has only visited Honduras, Ken has only visited Thailand, Aaron has only visited Timor-Leste, Cecil has only visited Chad
hypothesis: Aaron didn't visit Timor-Leste