premise: Gerald has not visited San Juan Capistrano, Jimmy has visited Plattsmouth, Alvin has not visited Lake Charles and if Alvin has visited Lake Charles then Felix has visited Augusta
hypothesis: Felix has not visited Augusta