}</span></a>
<a class="sourceLine" id="cb4-33" data-line-number="33"><span class="co">#&gt; Rule 2: {P5 [0.5]} -&gt; {P4 [0.5]}</span></a>
<a class="sourceLine" id="cb4-34" data-line-number="34"><span class="co">#&gt; Rule 3: {P3 [0.5], P4 [0.5], P5 [0.5]} -&gt; {P2, P5}</span></a>
<a class="sourceLine" id="cb4-35" data-line-number="35"><span class="co">#&gt; Rule 4: {P3 [0.5], P4} -&gt; {P3}</span></a>
<a class="sourceLine" id="cb4-36" data-line-number="36"><span class="co">#&gt; Rule 5: {P2 [0.5], P4 [0.5