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