premise: Jamie has only visited Honduras, Gerald has only visited South Africa, Henry has only visited Burkina, Leon has only visited Malaysia, Brad has only visited Zimbabwe, Clinton has only visited Mali, Russell has only visited Mongolia, Jason has only visited Belarus, Johnny has only visited Chad, Randall has only visited Somalia, Ted has only visited France, Shawn has only visited Luxembourg
hypothesis: Shawn didn't visit Luxembourg