premise: Hugh has not visited Amsterdam, Wesley has visited Pass Christian, Walter has visited Oregon City and if Wesley has visited Pass Christian then Frederick has visited Martinez
hypothesis: Frederick has visited Martinez