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