premise: Kevin has not visited Phoenixville, Eric has not visited Newport, Steven has visited Delaware and if Kevin has visited Phoenixville then Chad has visited Harpers Ferry
hypothesis: Chad has not visited Harpers Ferry