人工智能书上的一道练习题，用归结原理来解题，就是关于某人被盗的题，希望各位能帮忙解一下。