premise: Wayne has only visited Singapore, Jose has only visited Iraq, Marvin has only visited Philippines, Edward has only visited Seychelles, Lance has only visited Czech Republic, Ray has only visited Fiji
hypothesis: Marvin didn't visit Lithuania