premise: Frederick has not visited Hanover, Wallace has visited Interlochen, Bob has not visited Naperville and if Bob has not visited Naperville then Shane has not visited Kansas City
hypothesis: Shane has not visited Kansas City