premise: Arthur has not visited Pennsylvania, Barry has not visited Nashville, Christopher has visited Connersville and if Arthur has not visited Pennsylvania then Reginald has visited Newark
hypothesis: Reginald has not visited Newark