premise: Lester has not visited Beaverton, Calvin has visited Charleston, Julio has not visited Manchester and if Julio has not visited Manchester then Gabriel has visited Goldfield
hypothesis: Gabriel has visited Goldfield