premise: Francisco has not visited Los Alamos, Joseph has visited Palm Beach, Clyde has visited Pagosa Springs and if Joseph has visited Palm Beach then Carlos has visited El Centro
hypothesis: Carlos has visited El Centro