premise: Gilbert has not visited Golden, Francisco has not visited Sainte Genevieve, Jay has visited Andersonville and if Francisco has visited Sainte Genevieve then Thomas has visited Montclair
hypothesis: Thomas has not visited Montclair