premise: Melvin has not visited McMinnville, Maurice has visited Abingdon, Harvey has not visited Edgartown and if Harvey has not visited Edgartown then Jordan has visited Saratoga Springs
hypothesis: Jordan has visited Saratoga Springs