Речник на българския език
биха протрили е производна форма на протрия (условно наклонение, 3 л., мн. ч.).