premise: Glenn has not visited Kentucky, Cecil has visited Henderson, Joshua has not visited Puyallup and if Joshua has not visited Puyallup then Jeffery has visited Grand Island
hypothesis: Jeffery has not visited Grand Island