priority1 rule1 b1 r1 priority2 rule2 b2 r2 fact1 b2 fact2 b1