SICP 問題 4.65

(rule (wheel ?person)
      (and (supervisor ?middle-manager ?person)
           (supervisor ?x ?middle-manager)))

wheelはまず?personにデータベースの先頭から人を束縛して，and以下を満たすかを試していく．
なので
Ben -> Oliver -> X
alyssa -> Ben -> Oliver
Fect -> Ben -> Oliver
Lem -> Ben -> Oliver
Louis -> Alyssa Ben
Oliver -> X
Eben -> Oliver -> X
Robert -> Eben -> Oliver
Dewitt -> Oliver -> X
となり，Wawrbucks Oliverが４回出力される．