premise: Gabriel has not visited Tucumcari, Brandon has visited Mattoon, Luis has not visited Woodbridge and if Luis has not visited Woodbridge then Bryan has visited Ogdensburg
hypothesis: Bryan has not visited Ogdensburg