... 6, so that activates the contrapositive of Rule 1 meaning if Z ... should also have your list of rules, additionally noting that ... condition, and the rules of conditional logic tell us that affirming ... is essentially just another way of saying that.
...