Consider the following log skeleton:
Question: Is there a Not Co-Existence between A and E?
Yes, there is. As E has D as Precedence, “if E, then also D”. As D has A as a Not Co-Existence, “if D, then not A”. Hence, “if E, then D, and not A”. The following log skeleton shows all implicit Not Co-Existence relations as well: