1------------------------
2------------------------
31 : p01(a,b):-[tnot p11(a,b)]
41 : p01(a,b):-[tnot p12(a,b)]
51 : p01(c,d):-[tnot p11(c,d)]
61 : p01(c,d):-[tnot p12(c,d)]
71 : p02(a,b):-[tnot p11(a,b)]
81 : p02(a,b):-[tnot p12(a,b)]
91 : p02(c,d):-[tnot p11(c,d)]
101 : p02(c,d):-[tnot p12(c,d)]
111 : p11(a,b):-[tnot p21(a,b)]
121 : p11(a,b):-[tnot p22(a,b)]
131 : p11(c,d):-[tnot p21(c,d)]
141 : p11(c,d):-[tnot p22(c,d)]
151 : p12(a,b):-[tnot p21(a,b)]
161 : p12(a,b):-[tnot p22(a,b)]
171 : p12(c,d):-[tnot p21(c,d)]
181 : p12(c,d):-[tnot p22(c,d)]
191 : p21(a,b):-[tnot p31(a,b)]
201 : p21(a,b):-[tnot p32(a,b)]
211 : p21(c,d):-[tnot p31(c,d)]
221 : p21(c,d):-[tnot p32(c,d)]
231 : p22(a,b):-[tnot p31(a,b)]
241 : p22(a,b):-[tnot p32(a,b)]
251 : p22(c,d):-[tnot p31(c,d)]
261 : p22(c,d):-[tnot p32(c,d)]
271 : p31(a,b):-[tnot u1(a,b)]
281 : p31(a,b):-[tnot u2(a,b)]
291 : p31(c,d):-[tnot u1(c,d)]
301 : p31(c,d):-[tnot u2(c,d)]
311 : p32(a,b):-[tnot u1(a,b)]
321 : p32(a,b):-[tnot u2(a,b)]
331 : p32(c,d):-[tnot u1(c,d)]
341 : p32(c,d):-[tnot u2(c,d)]
351 : u1(a,b):-[undef(a,b)]
361 : u1(c,d):-[undef(c,d)]
371 : u2(a,b):-[undef(a,b)]
381 : u2(c,d):-[undef(c,d)]
392 : p01(c,d):-[tnot p11(c,d)]
402 : p01(c,d):-[tnot p12(c,d)]
412 : p02(c,d):-[tnot p11(c,d)]
422 : p02(c,d):-[tnot p12(c,d)]
432 : p11(c,d):-[tnot p21(c,d)]
442 : p11(c,d):-[tnot p22(c,d)]
452 : p12(c,d):-[tnot p21(c,d)]
462 : p12(c,d):-[tnot p22(c,d)]
472 : p21(c,d):-[tnot p31(c,d)]
482 : p21(c,d):-[tnot p32(c,d)]
492 : p22(a,b):-[tnot p31(a,b)]
502 : p22(a,b):-[tnot p32(a,b)]
512 : p22(c,d):-[tnot p31(c,d)]
522 : p22(c,d):-[tnot p32(c,d)]
532 : p31(a,b):-[tnot u1(a,b)]
542 : p31(a,b):-[tnot u2(a,b)]
552 : p31(c,d):-[tnot u1(c,d)]
562 : p31(c,d):-[tnot u2(c,d)]
572 : p32(a,b):-[tnot u1(a,b)]
582 : p32(a,b):-[tnot u2(a,b)]
592 : p32(c,d):-[tnot u1(c,d)]
602 : p32(c,d):-[tnot u2(c,d)]
612 : u1(a,b):-[undef(a,b)]
622 : u1(c,d):-[undef(c,d)]
632 : u2(a,b):-[undef(a,b)]
642 : u2(c,d):-[undef(c,d)]
65