premise: Jared has not visited Shiprock, Franklin has visited Pawhuska, Leonard has not visited Yorba Linda and if Leonard has not visited Yorba Linda then Jerry has visited Germantown
hypothesis: Jerry has not visited Germantown