支持集策略的一道习题

支持集策略的一道习题，在线等
设有子句集：
  S = { ┐I(x)∨R(x),I(a), ┐R(y)∨┐L(y),L(a)}，
  其中子句┐I(x)∨R(x)是目标公式否定的子句.

归结如下：
  S： （1） ┐I(x)∨R(x)
  (2) I(a)
  (3) ┐R(y)∨┐L(y)
  (4) L(a)

  S1: (5) R(a) 由(1),(2){a/x}
  (6) ┐I(x)∨┐L(x) 由(1),(3){x/y}  
 
  S2: (7) ┐L(a) 由(5),(3){a/y} 
  (8) ┐L(a) 由(6),(2){a/x} 
  (9) ┐I(a) 由(6),(4){a/x}
  (10) NIL 由(7),(4)
题目完。

在（9）中，由（6）,（4）归结得到，但是（6）和（4）中却没有满足：2个亲本子句中至少要有一个是目标公式否定的子句或其后裔。
个人认为目标公式否定的子句或其后裔应该是:┐I(x)∨R(x)或者┐I(x)或者R(x)。不知书（人工智能技术导论 廉师友 P116 例5.28）上是如何归结的？

------解决方案--------------------
（6）是由（1）和（3）归结，所以是（1）的后裔