premise: Jimmie has not visited Carlsbad, Kyle has visited Junction City, Gordon has not visited South Holland and if Gordon has visited South Holland then Johnny has visited Laguna Beach
hypothesis: Johnny has visited Laguna Beach