 class="co">#&gt; Rule 9: {P1 [0.5], P3 [0.5]} -&gt; {P1, P2, P3}</span></a>
<a class="sourceLine" id="cb4-41" data-line-number="41"><span class="co">#&gt; Rule 10: {P1 [0.5], P2} -&gt; {P1}</span></a>
<a class="sourceLine" id="cb4-42" data-line-number="42"><span class="co">#&gt; Rule 11: {P1, P2 [0.5]} -&gt; {P2}</span></a>
<a class="sourceLine" id="cb4-43" data-line-number="43"><span class="co">#&gt; Rule 12: {P1, P2, P3, P6} -&gt; {P4, P5}</span></a>
<a class="sourceLine" id="cb4-44" data-line-number="44