premise: Fernando has not visited Belvidere, Lloyd has not visited Wilson, Nathaniel has visited Ypsilanti and if Lloyd has not visited Wilson then Walter has not visited Kansas City
hypothesis: Walter has not visited Kansas City