可推断的可以有效地相互推出

• Validly derived from each other; deducible.