... above exist in a relationship with each other. A ... very specific type of relationship that we deduce by ... a restatement of the conditional relationship in other words.
... negation is saying: that conditional relationship you just posited, actually, ...