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