ta-line-number="13"><span class="co">#&gt; Rule 8: {P1 [0.5], P4 [0.5]} -&gt; {P1, P2, P3, P4, P5, P6}</span></a>
<a class="sourceLine" id="cb4-14" data-line-number="14"><span class="co">#&gt; Rule 9: {P1 [0.5], P3 [0.5]} -&gt; {P1, P2, P3}</span></a>
<a class="sourceLine" id="cb4-15" data-line-number="15"><span class="co">#&gt; Rule 10: {P1 [0.5], P2} -&gt; {P1}</span></a>
<a class="sourceLine" id="cb4-16" data-line-number="16"><span class="co">#&gt; Rule 11: {P1, P2 [0.5]} -&gt; {P2}</span></a>
<a class="