premise: Reginald has not visited Costa Mesa, Nicholas has not visited Somersworth, Bobby has visited Portland and if Nicholas has not visited Somersworth then Harry has visited Greenfield
hypothesis: Harry has not visited Greenfield