قواعد استنتاج المسقط الثالث