premise: Christopher has not visited Norwalk, Harvey has not visited Bordentown, Reginald has visited Northampton and if Harvey has not visited Bordentown then Peter has visited Saint Joseph
hypothesis: Peter has not visited Saint Joseph