rule1:- bla1, bla2, bla3.
rule2:- bla4, bla5, bla6.

ikanopoieitai otan rule1 || rule2 = T => (bla1 && bla2 && bla3) || (bla4 && bla5 && bla6) = T