本例的证明过程如下图所示，它是一个由目标引导的逆向推理，最终得到的解释树就是该例的解释结构。