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