節が欠けていて観測(ゴール)の証明が出来ない時に、 先ず、abductionにより補間すべき節の候補を求める(指で指されている破線)。 その候補節と類似した節を知識ベースに求める (ピンクの節)。
そして、その候補節を知識ベースの知識(ピンクの節)を 参照することにより、 尤もらしい節(青の節)に変換することでゴールの証明を行なう。

NB: 上図で ``prove'' は ``explain'' の方がいいです