premise: Fernando has not visited Cherokee, Roberto has visited Cape Girardeau, Timothy has not visited Muskegon and if Timothy has not visited Muskegon then Jacob has visited Winter Park
hypothesis: Jacob has visited Winter Park