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