premise: Peter has not visited Walsenburg, Jessie has visited Muncie, Aaron has not visited West Springfield and if Aaron has not visited West Springfield then Herbert has visited Portsmouth
hypothesis: Herbert has visited Portsmouth