SIs are inferences based on the maxim of quantity by Grice (1975).
the SI that it is not the case that Mary believes John broke many/all glasses does not mean that Mary believes John did not break many/all glasses.