... clarity: that first slash should be slashing out the entire ... does not always imply /B, THEN C always implies both ... : IF C does not always imply D and E, ... always implies /B. Or in other words, if there's even one ... an E, then As are always /Bs.
...