premise: Chris has not visited Bismarck, Felix has not visited Concord, Max has visited Bloomington and if Felix has not visited Concord then Justin has visited Sainte Genevieve
hypothesis: Justin has not visited Sainte Genevieve