------------------------
------------------------
1 : p01(a,b):-[tnot p11(a,b)]
1 : p01(a,b):-[tnot p12(a,b)]
1 : p01(c,d):-[tnot p11(c,d)]
1 : p01(c,d):-[tnot p12(c,d)]
1 : p02(a,b):-[tnot p11(a,b)]
1 : p02(a,b):-[tnot p12(a,b)]
1 : p02(c,d):-[tnot p11(c,d)]
1 : p02(c,d):-[tnot p12(c,d)]
1 : p11(a,b):-[tnot p21(a,b)]
1 : p11(a,b):-[tnot p22(a,b)]
1 : p11(c,d):-[tnot p21(c,d)]
1 : p11(c,d):-[tnot p22(c,d)]
1 : p12(a,b):-[tnot p21(a,b)]
1 : p12(a,b):-[tnot p22(a,b)]
1 : p12(c,d):-[tnot p21(c,d)]
1 : p12(c,d):-[tnot p22(c,d)]
1 : p21(a,b):-[tnot p31(a,b)]
1 : p21(a,b):-[tnot p32(a,b)]
1 : p21(c,d):-[tnot p31(c,d)]
1 : p21(c,d):-[tnot p32(c,d)]
1 : p22(a,b):-[tnot p31(a,b)]
1 : p22(a,b):-[tnot p32(a,b)]
1 : p22(c,d):-[tnot p31(c,d)]
1 : p22(c,d):-[tnot p32(c,d)]
1 : p31(a,b):-[tnot u1(a,b)]
1 : p31(a,b):-[tnot u2(a,b)]
1 : p31(c,d):-[tnot u1(c,d)]
1 : p31(c,d):-[tnot u2(c,d)]
1 : p32(a,b):-[tnot u1(a,b)]
1 : p32(a,b):-[tnot u2(a,b)]
1 : p32(c,d):-[tnot u1(c,d)]
1 : p32(c,d):-[tnot u2(c,d)]
1 : u1(a,b):-[undef(a,b)]
1 : u1(c,d):-[undef(c,d)]
1 : u2(a,b):-[undef(a,b)]
1 : u2(c,d):-[undef(c,d)]
2 : p01(c,d):-[tnot p11(c,d)]
2 : p01(c,d):-[tnot p12(c,d)]
2 : p02(c,d):-[tnot p11(c,d)]
2 : p02(c,d):-[tnot p12(c,d)]
2 : p11(c,d):-[tnot p21(c,d)]
2 : p11(c,d):-[tnot p22(c,d)]
2 : p12(c,d):-[tnot p21(c,d)]
2 : p12(c,d):-[tnot p22(c,d)]
2 : p21(c,d):-[tnot p31(c,d)]
2 : p21(c,d):-[tnot p32(c,d)]
2 : p22(a,b):-[tnot p31(a,b)]
2 : p22(a,b):-[tnot p32(a,b)]
2 : p22(c,d):-[tnot p31(c,d)]
2 : p22(c,d):-[tnot p32(c,d)]
2 : p31(a,b):-[tnot u1(a,b)]
2 : p31(a,b):-[tnot u2(a,b)]
2 : p31(c,d):-[tnot u1(c,d)]
2 : p31(c,d):-[tnot u2(c,d)]
2 : p32(a,b):-[tnot u1(a,b)]
2 : p32(a,b):-[tnot u2(a,b)]
2 : p32(c,d):-[tnot u1(c,d)]
2 : p32(c,d):-[tnot u2(c,d)]
2 : u1(a,b):-[undef(a,b)]
2 : u1(c,d):-[undef(c,d)]
2 : u2(a,b):-[undef(a,b)]
2 : u2(c,d):-[undef(c,d)]
