ヒント

まず、この問題における基本的な述語として、

• SPM_quotcontain(A,B)": 箱Aの中身は果物Bである
• SPM_quotlabel(A,B)": 箱AにはラベルBが貼ってある

※ 箱a,b,cがそれぞれほかの箱と違うこと、 果物リンゴ、オレンジ、バナナがそれぞれほかの果物と違うこと、 は我々にとっては自明で暗黙の知識と言えるが、 定理証明の場合にはそれらもすべて明示的に表現しなければならない。