Other rules (3, 4, 5, 7, and 10) are processed similarly. In this manner, the overlapping processings relative to overlapping propositions are avoided and the improvement of efficiency is attained by rearranging the rules according to the frequencies on which the propositions included in the ...