<p><pre><code>      A
     &#x2F; \
    v   v
    B   C
     \ &#x2F;
      v
      D
</code></pre>
That was making my eyes cross, so I drew it out.  In short, there are two distinct paths that you can apply a transitive rule over to get A -&gt; D.<p>Very cool example!