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