Bonart

Потому что переменная с имеет тип А, а значит новый (new) метод класса С просто не виден — виден только одноименный виртуальный метод A, перекрытый (override) в В, после чего унаследованный С, а значит будет вызван именно он.