premise: Timothy has not visited Valparaiso, Jeff has visited Massillon, Greg has not visited Riverside and if Greg has not visited Riverside then Cory has visited Cocoa-Rockledge
hypothesis: Cory has not visited Cocoa-Rockledge