产生式规则与推理方向 — 计算机填空题

某智能体知识库含产生式规则：R1：如果 动物会飞，则 动物有翅膀；R2：如果 动物是鸟类，则 动物会飞；R3：如果 动物有翅膀，则 动物被观察。已知事实：企鹅 是鸟类。若采用反向推理（从目标出发）验证目标“企鹅 被观察”是否成立，则推理应从该目标出发，依次将 R3 的前提“____”作为子目标，最终追溯到已知事实“企鹅 是鸟类”从而目标成立；与正向推理相比，反向推理更适合验证____（填“单个目标”或“大量无关结论”）。