premise: Lewis has not visited Walnut Creek, Mathew has not visited Tombstone, Jeffery has visited Westerly and if Mathew has not visited Tombstone then Aaron has visited New Martinsville
hypothesis: Aaron has visited New Martinsville