premise: Corey has not visited Sudbury, Jerry has visited South Orange Village, Kirk has not visited Elmhurst and if Kirk has not visited Elmhurst then Brandon has not visited East Hartford
hypothesis: Brandon has not visited East Hartford