premise: Aaron has not visited Gallup, Wallace has not visited Brookline, Nelson has visited Claremont and if Wallace has not visited Brookline then Patrick has visited Martinsburg
hypothesis: Patrick has not visited Martinsburg