premise: Brett has not visited Belfast, Johnnie has not visited Martinsville, Kenneth has visited Lawrence and if Brett has visited Belfast then Rafael has visited San Gabriel
hypothesis: Rafael has not visited San Gabriel