premise: Timothy has not visited Hackensack, Tyler has not visited Redondo Beach, Stephen has visited Connersville and if Timothy has not visited Hackensack then Kent has not visited East Moline
hypothesis: Kent has not visited East Moline