premise: Terrance has not visited Delaware, Calvin has visited Arkansas City, Mike has not visited Charlottesville and if Mike has visited Charlottesville then Angel has visited Herkimer
hypothesis: Angel has not visited Herkimer