premise: Jason has only visited Niger, Chris has only visited Cambodia, Leo has only visited Algeria, Floyd has only visited Vanuatu, Arthur has only visited Sudan, Travis has only visited Lebanon, Johnnie has only visited Greece, Clayton has only visited Madagascar, Luis has only visited Australia, Bruce has only visited Senegal, Sidney has only visited Honduras
hypothesis: Arthur didn't visit Sudan