premise: Jerry has not visited Pennsylvania, Craig has visited Denver, Frederick has not visited Ellensburg and if Frederick has visited Ellensburg then Marcus has visited Council Grove
hypothesis: Marcus has visited Council Grove