A: krf B: uict C: ae move(A,B) A: kr B: uictf C: ae move(A,B) A: k B: uictfr C: ae move(A,B) A: B: uictfrk C: ae move(B,C) A: B: uictfr C: aek move(B,C) A: B: uictf C: aekr move(B,A) A: f B: uict C: aekr move(C,A) A: fr B: uict C: aek move(B,C) A: fr B: uic C: aekt move(B,C) A: fr B: ui C: aektc move(B,C) A: fr B: u C: aektci move(B,A) A: fru B: C: aektci move(C,A) A: frui B: C: aektc move(C,B) A: frui B: c C: aekt move(C,A) A: fruit B: c C: aek move(B,A) A: fruitc B: C: aek move(C,B) A: fruitc B: k C: ae move(C,B) A: fruitc B: ke C: a move(C,A) A: fruitca B: ke C: move(B,C) A: fruitca B: k C: e move(B,A) A: fruitcak B: C: e move(C,A) A: fruitcake B: C: