:即使缺省的前件Bird（企鹅）是真的，论据Flies（企鹅）与已知相矛盾。从这个背景理论和这个缺省，不能得出结论Bird（鹰），因为缺省规则只允许从Bird（X）推出Flies (X)，但不能反过来。从推论规则的结论推出前提是结论的一种解释形式，这是溯因推理的目标。常见的缺省假定是不知道为真的东西都被相信是假的。这叫做封闭世界假定，并在缺省逻辑中对每个事实formula_11使用像下列这样的缺省来形式化。