sourceLine" id="cb4-17" data-line-number="17"><span class="co">#&gt; Rule 12: {P1, P2, P3, P6} -&gt; {P4, P5}</span></a>
<a class="sourceLine" id="cb4-18" data-line-number="18"></a>
<a class="sourceLine" id="cb4-19" data-line-number="19"><span class="co"># Reduce the number of implications using two simple</span></a>
<a class="sourceLine" id="cb4-20" data-line-number="20"><span class="co"># rules. The algorithm applies the specified rules</span></a>
<a class="sourceLine" id="cb4-21" data-line-number="21"><s