... means that this conditional relationship is not true of our world ... A and /B occurring proves NOT (A->B).
... that if the conditional relationship of A->B ... the conditional relationship of A->B is not true. Be ... means A and /B both MUST occur. It just ...