A1& $\neg$Equals(CA, CB)&\\
A2& $\neg$Equals(CA, CC)&\\
A3& $\neg$Equals(CB, CA)&\\
A4& $\neg$Equals(CB, CC)&\\
A5& $\neg$Equals(CC, CA)&\\
A6& $\neg$Equals(CC, CB)&\\
A7& $\neg$Equals(CA, CTable)&\\
A8& $\neg$Equals(CB, CTable)&\\
A9& $\neg$Equals(CC, CTable)&\\
A10& Block(CA)&\\
A11& Block(CB)&\\
A12& Block(CC)&\\
A13& $\neg$Block(CTable)&\\
A14& $\neg$On(x7, y6, s5) $\vee$ $\neg$On(x7, z8, s5) $\vee$ Equals(y6, z8)&\\
A15& $\neg$On(x15, z14, s13) $\vee$ $\neg$On(y16, z14, s13) $\vee$ Equals(x15, y16) $\vee$ Equals(z14, CTable)&\\
A16& $\neg$Clear(x22, s21) $\vee$ $\neg$Block(y23) $\vee$ $\neg$On(y23, x22, s21) $\vee$ Equals(x22, CTable)&\\
A17& Block(F\_1(y26, x25, s24)) $\vee$ Clear(x25, s24)&\\
A18& On(F\_1(y19, x28, s27), x28, s27) $\vee$ Clear(x28, s27)&\\
A19& $\neg$Equals(x29, CTable) $\vee$ Clear(x29, s30)&\\
A20& $\neg$Clear(x36, s35) $\vee$ $\neg$Clear(y37, s35) $\vee$ $\neg$On(x36, z38, s35) $\vee$ On(x36, y37, result(move(x36, y37), s35))&\\
A21& $\neg$Clear(x40, s39) $\vee$ $\neg$Clear(y41, s39) $\vee$ $\neg$On(x40, z42, s39) $\vee$ Clear(z42, result(move(x40, y41), s39))&\\
A22& $\neg$On(x50, y49, s48) $\vee$ Equals(x50, z51) $\vee$ On(x50, y49, result(move(z51, w47), s48))&\\
A23& $\neg$Clear(x57, s56) $\vee$ Equals(x57, z58) $\vee$ Clear(x57, result(move(y59, z58), s56))&\\
A24& On(CA, CTable, CS0)&\\
A25& On(CC, CB, CS0)&\\
A26& On(CB, CTable, CS0)&\\
A27& Clear(CC, CS0)&\\
A28& Clear(CA, CS0)&\\
A29& Clear(CTable, s61)&\\
A30& $\neg$On(CA, CB, s63) $\vee$ Answer(s63)&\\
S31& $\neg$Clear(y67, CS0) $\vee$ $\neg$On(CC, z68, CS0) $\vee$ Clear(z68, result(move(CC, y67), CS0))      &Res(21,27) \{s39/CS0, x40/CC\}\\
S32& $\neg$On(CC, z69, CS0) $\vee$ Clear(z69, result(move(CC, CTable), CS0))      &Res(31,29) \{s61/CS0, y67/CTable\}\\
S33& Clear(CB, result(move(CC, CTable), CS0))      &Res(32,25) \{z69/CB\}\\
S34& $\neg$Clear(x70, result(move(CC, CTable), CS0)) $\vee$ $\neg$On(x70, z71, result(move(CC, CTable), CS0)) $\vee$ On(x70, CB, result(move(x70, CB), result(move(CC, CTable), CS0)))      &Res(33,20) \{y37/CB, s35/result(move(CC, CTable), CS0)\}\\
S35& $\neg$Clear(CA, result(move(CC, CTable), CS0)) $\vee$ $\neg$On(CA, z72, result(move(CC, CTable), CS0)) $\vee$ Answer(result(move(CA, CB), result(move(CC, CTable), CS0)))      &Res(34,30) \{s63/result(move(x70, CB), result(move(CC, CTable), CS0)), x70/CA\}\\
S36& $\neg$Clear(CA, s73) $\vee$ Clear(CA, result(move(y74, CTable), s73))      &Res(7,23) \{z58/CTable, x57/CA\}\\
S37& $\neg$On(CA, z75, result(move(CC, CTable), CS0)) $\vee$ Answer(result(move(CA, CB), result(move(CC, CTable), CS0))) $\vee$ $\neg$Clear(CA, CS0)      &Res(35,36) \{y74/CC, s73/CS0\}\\
S38& $\neg$On(CA, z76, result(move(CC, CTable), CS0)) $\vee$ Answer(result(move(CA, CB), result(move(CC, CTable), CS0)))      &Res(37,28) \{\}\\
S39& $\neg$On(CA, y78, s77) $\vee$ On(CA, y78, result(move(CC, w79), s77))      &Res(2,22) \{x50/CA, z51/CC\}\\
S40& On(CA, CTable, result(move(CC, w80), CS0))      &Res(39,24) \{s77/CS0, y78/CTable\}\\
S41& Answer(result(move(CA, CB), result(move(CC, CTable), CS0)))      &Res(38,40) \{w80/CTable, z76/CTable\}\\