Negation in natural language
"In every supermarket, if we can buy fish then the supermarket has a refrigerator"
Is the negation of this sentence
1) There exists a supermarket where we can buy fish and it doesn't have a refrigerator
or
2) There exists a supermarket where if you can buy fish, then the supermarket does not have a refrigerator.
1 is correct. 2 is wrong because it is already satisfied if there is a supermarket where you cannot buy fish.