Полиморфизм и переопределение методов в java

Я понимаю, что полиморфизм применяется только к нестатическим и нефинальным методам класса.

Но возьмем этот пример:

class Animal{
    public void play(){
        System.out.println("Play animal");
    }
}

public class Dog extends Animal{

    public void play(){
        System.out.println("Play dog");
    }

    public void bark(){
        System.out.println("Woof");
    }

    public static void main(String []args){
        Animal d = new Dog();
        d.play(); //Outputs "Play dog"
        d.bark(); //ERROR
     }
}

Я понимаю, что d — это объект Dog, и что каждая Dog это Animal.

Программа понимает, что d — это объект Dog, и поэтому вызывает метод play() из класса Dog, ИГНОРИРОВАНИЕ тот факт, что он объявлен как Animal.

Но почему по тому же принципу программа не понимает, что d — это объект Dog, ИГНОРИРОВАНИЕ — объявление Animal?

Это то, что я изо всех сил пытаюсь понять.