premise: Herbert has only visited Croatia, Kenneth has only visited Malaysia, Wade has only visited Saint Lucia, Clifford has only visited Guinea, Raymond has only visited Costa Rica
hypothesis: Claude didn't visit Saint Lucia