拡張的推論