premise: Christian has only visited Singapore, Dave has only visited New Zealand, Casey has only visited Senegal, Donald has only visited Romania, Armando has only visited Togo, Arthur has only visited Denmark
hypothesis: Casey didn't visit Senegal