premise: Daniel has only visited Latvia, Nathaniel has only visited Croatia, Wesley has only visited Sri Lanka, Ron has only visited Indonesia, Miguel has only visited Slovenia, Allen has only visited Brazil, Shawn has only visited North Korea
hypothesis: Shawn didn't visit Malawi