The formula That is not the case' means that a hypothesis passes over into the negative in so far as it does not represent the currently fulfilled conditions of a problem, to which, on the contrary, another proposition corresponds.