premise: Timothy has not visited Warner Robins, Seth has visited Blairsville, Dustin has not visited Ashland and if Dustin has not visited Ashland then Byron has visited Lexington
hypothesis: Byron has not visited Lexington