premise: Hector has not visited Des Plaines, Alex has not visited Cooperstown, Travis has visited Ishpeming and if Hector has not visited Des Plaines then Ramon has not visited Cape Girardeau
hypothesis: Ramon has not visited Cape Girardeau